ller: -9 or l?
-9
Let c = -87.7 + 14.7. Let q = c + 72. Which is smaller: -2/7 or q?
q
Let h(g) be the second derivative of g**3/6 - 8*g**2 + 13*g + 4. Let q be h(15). Which is smaller: 2/337 or q?
q
Let z = 4935 - 4935. Do z and 2/7837 have the same value?
False
Let w be (5 + -17)*(-4)/(-6). Let t = 14589 - 189656/13. Do w and t have the same value?
False
Let i = 1.42586 + 0.01414. Which is smaller: -0.07 or i?
-0.07
Let w = 328 + 2. Suppose 17*q - 12*q = 5*z - 1695, -z + 5*q = -371. Which is bigger: z or w?
z
Let w be ((-12)/8)/(-3)*(-8760)/(-90). Which is smaller: w or 49?
w
Suppose -d + 2*a = 6, -3*d + 3*a - 8 = 4. Which is bigger: d or -31/12?
d
Let o be 2/4*(-24)/(-20). Let a be (-1 + (-47)/(-43))/(30/(-144)) + (-2)/(-5). Is o greater than or equal to a?
True
Suppose 0 = -3*s + 3*f - 12, 96*s - 100*s + f - 4 = 0. Is s less than -6/3089?
False
Let u = 73050 - 72917. Let d = -227 - -359. Are u and d equal?
False
Let p = 7/387 - -1133/1548. Is p not equal to 3?
True
Let l = 191 - 326. Let i = 5116.5 + -4984. Let p = i + l. Are p and -0.2 equal?
False
Let i = 673/9 - 679/9. Let z = -91 - -424/5. Which is smaller: i or z?
z
Let j(x) = -7*x**2 - 4*x - 1. Let z be j(8). Let b be z/(0 + (-22)/78) - -3. Let y = 1710 - b. Is y less than or equal to 2?
True
Let y = -46 + 55. Suppose y*d + 456 = 1473. Suppose 0 = 4*p + x + d, -3*x - 2*x + 44 = -p. Is -28 > p?
True
Let m be (-35)/(-5) - 1 - 3331/(-130). Let t = 92458/195 - 7576/15. Let w = t + m. Which is smaller: 0 or w?
0
Let k = -2132.79 + 2142. Let l = k + 4.79. Which is greater: 16 or l?
16
Let f = -2.292 - 30.708. Is -4/5 at most f?
False
Suppose 5*a + 11 - 181 = 0. Suppose -36313*w = -36243*w - 2170. Does w = a?
False
Suppose -863 = -11*w + 4*b, -67 = -w - 11*b + 13*b. Is 39 greater than or equal to w?
False
Let i = -18 - -37. Suppose 13*j = i*j. Let z be ((j - -3)/3)/((-2)/4). Which is greater: z or -4?
z
Let j = -2.97 + 3. Let q = -35 + -23. Let g = -58 - q. Do g and j have the same value?
False
Let n = -37 - 196. Let s = n + 232.963. Are 0.1 and s nonequal?
True
Let h = -6791 + 6791. Which is smaller: h or -3/83?
-3/83
Let u(x) = -2*x**3 + 6*x**2 - x - 4. Let f(g) = 3*g**3 - 11*g**2 + g + 7. Let w(r) = -3*f(r) - 5*u(r). Let q be w(-2). Let n = -940 + 974. Is q not equal to n?
True
Let m = 75 - 77. Let v = 10 - m. Let f be (1 - -10)*(3 - 2). Which is smaller: v or f?
f
Let j be (1712/(-220) + 8)/((-2)/5). Let o = -14.6 - -24.6. Which is greater: j or o?
o
Suppose 0 = 61*j - 63*j - c + 13, j - 14 = -3*c. Let v be (-6)/33 - (-812)/66*j. Is 62 at most as big as v?
False
Let p be ((-1)/3)/(-5 - 1/((-9900)/50413)). Which is bigger: -4 or p?
p
Suppose -2*c + 4*c - 5*a = -178, 5*c = -3*a - 476. Suppose 0 = 2*i + 204 - 14. Let f = i - c. Which is smaller: 3/7 or f?
f
Let n = -765 - -774. Let g = -54.4 - -54. Let h = g + 0.4. Which is bigger: n or h?
n
Let x = -4677 - -4634. Which is bigger: x or 2/9?
2/9
Suppose 2*g = -4*k + 5*g + 3, 0 = -4*k + 5*g + 5. Let r = 2/21 - k. Which is smaller: 0.07 or r?
0.07
Let b(r) = -3*r**3 - 93*r**2 - 21*r + 65. Let u be b(-31). Let o = 857 - u. Which is smaller: 142 or o?
o
Let t(c) = -c**2 + 52*c - 180. Let u be t(48). Is u less than or equal to 240?
True
Suppose 5*d - 5*b = 5, 10*d = 5*d - 3*b + 21. Suppose -3*r = 3*t - 198, -4*t + 60 = -3*t + d*r. Let g = 209/3 - t. Is 43 >= g?
True
Suppose -990 = 63*m - 14*m + 116*m. Which is bigger: m or -217/43?
-217/43
Let i be 25623/195237 - (-1)/(-7). Is i at least -1?
True
Let w be -178 + (-14 + 13)*5. Which is smaller: -170 or w?
w
Let s be (-16)/(-12)*(-225)/(-525)*5978/(-20). Is s > -170?
False
Let w be (-1)/(-3) + (-40)/12. Let d = -47634/1469 - -422/13. Let p = -573/226 + d. Is w at most as big as p?
True
Let n be ((-62)/(-2))/(231/1023). Let l = 137 - n. Is l bigger than 2/41?
False
Let k = 4750 - 6123. Does -1376 = k?
False
Let n be 69/138*(-4)/194. Which is smaller: n or -1?
-1
Let b(j) = -2*j + 114. Let y be b(0). Let i = 124 - y. Suppose 12*q - 36 = i*q. Which is bigger: q or 19?
19
Let y = 4.34 + -4.44. Let r = -8.6 + 9. Let b = r + 0.6. Which is bigger: b or y?
b
Let l(n) = 2*n + 38. Let u be l(-14). Suppose u = 5*z - 0. Let b be (-270)/243*z/(-10)*3. Which is greater: 0 or b?
b
Suppose -3*y + 2171 = -583. Suppose 0 = -0*l - 3*l - y. Let x be l/(-68)*(1/51)/1. Is x less than or equal to 1?
True
Let b = 22236 - 22228. Is b smaller than -589?
False
Let v = -208959/123041 - -19/6002. Is -1 greater than v?
True
Let q = -1350114 + 31025541/23. Let d = -232962/253 - q. Let h = d - 257. Which is smaller: -1 or h?
-1
Suppose 0 = p - 4, 83 = -2*o + 5*o + 5*p. Let a = 33 - o. Let i = a - 5. Do i and 8 have the same value?
False
Suppose -434*w + 367*w = 67. Suppose -22 + 4 = -3*g. Suppose 0 = 2*z - 0*z + g. Is w >= z?
True
Let l = 362 + -334. Let r be -2*((-178)/840 - (-7)/l). Is r at most 1?
True
Let l(f) = 75 + f - 4*f - 57. Let r be l(5). Suppose -7 = -v + 4*t, r*v - 5*v + 8 = -2*t. Which is smaller: v or 22/5?
v
Let t be 20/6 + -1 + -1. Let d = -0.078 - 100.922. Let f = d - -101.1. Is f equal to t?
False
Let n(p) = 9*p + 119. Let z be n(-24). Let b = 193/2 + z. Do -1 and b have the same value?
False
Suppose -617 = -2*u + 5*o, 3*u - 38 = -3*o + 898. Let d = u - 282. Let k be ((-3)/3)/((-1)/30). Which is smaller: d or k?
d
Let w = -51/25 - 857/450. Which is smaller: 0.2 or w?
w
Let b be (4/(-64))/((-88)/(-32))*-76324. Let y = -1736 + b. Which is greater: y or 8?
8
Let l = 863 - 887. Is l equal to 10?
False
Let d be (8/(-42))/(16/8). Suppose -5 + 42 = 37*r. Do r and d have the same value?
False
Suppose -4*k - 753 = 22*h - 17*h, 4*k + 3*h = -743. Which is greater: -181 or k?
-181
Let r(b) = 2*b**2 + 4*b - 12. Let i be r(-8). Suppose -2*v = 5*w - 75, -w - i = -2*v + 3*w. Suppose 0 = -7*y + 9 + v. Which is smaller: y or 33/4?
y
Let r be (32 + (-2580)/80)/((-1)/(-28228)). Is -7060 smaller than r?
True
Let s(c) = 370*c - 17. Let j(b) = -247*b + 11. Let a(y) = 8*j(y) + 5*s(y). Let o be a(-1). Let g be (o/(-26) + 5)*(-12)/(-1). Which is smaller: -1 or g?
-1
Let l be (1350/(-170) - -8)*0. Which is smaller: l or -2/7169?
-2/7169
Let u = -8323 - -7951. Which is bigger: -2237/6 or u?
u
Let h = -55 + 28. Let b(q) = q**3 - 5*q**2 - q + 4. Let d be b(5). Let z be (d/1)/(3/78). Which is smaller: z or h?
h
Suppose -4*c + 4 = -8*c. Let s(t) = -27*t + 47. Let q be s(21). Let b be (12/q)/(60/(-16) - -3). Is c >= b?
False
Suppose -2*g + 201 - 689 = -5*f, 10*f = 3*g + 977. Which is bigger: 1951/20 or f?
f
Suppose -2*r - 25 + 35 = 0, -3*r - 257 = -4*j. Is 693/10 at most j?
False
Let s = -2852 - -2863. Which is bigger: 266/27 or s?
s
Suppose 12 = -k + 30. Let z = 499983 - 499977. Which is greater: z or k?
k
Suppose 5*v = 3*v - x - 113, -2*v - 3*x = 119. Let s = v + 54. Do s and 2/417 have the same value?
False
Let s = -3.153 + 2.153. Which is smaller: 277 or s?
s
Let q = 28910 + -24366. Is 4544 <= q?
True
Let o be 10/(-1 - 19)*-2. Let y be 1/(35/(-101)) - -3. Is y smaller than o?
True
Let n be (-238)/4 + (39 - 300/8). Which is smaller: n or -81?
-81
Let j(w) = -w**2 - 2*w + 1. Let a be 2/(-12)*-3 - 12/24. Suppose 3*x - x + 10 = a. Let t be j(x). Is t greater than or equal to -12?
False
Let v = 5477/7 + -34336/35. Is -198 not equal to v?
True
Suppose 4*d - 393 = 1483. Let k = d + -50182/107. Which is greater: -1 or k?
k
Let l = 34630 - 34628. Which is smaller: -4321 or l?
-4321
Let w = -120.1268 + 0.1268. Let p = -11 - -132. Let m = p + w. Which is smaller: m or 18?
m
Let y = 144 + -84. Suppose -y = 5*a - 5. Which is bigger: a or -7?
-7
Let i be 47451/(-552) - (-42)/483. Is -85 greater than or equal to i?
True
Let n = -188 + 199. Suppose -5*a = -n*a - 5*a. Which is smaller: a or 2/29?
a
Let j be 6/2 + (-30)/(-24). Let o = -87/20 + j. Let g = 165 - 165.3. Are o and g unequal?
True
Suppose -p - 5*d = -3*p + 7, -4*d = -2*p + 6. Let s be 12/54 + (34145/(-8055) - -4). Is s > p?
False
Suppose 80*w - 97*w = -153. Suppose 292 = w*c + 130. Suppose 10 = o - 6. Are o and c non-equal?
True
Let n = -59 - -123. Let r be ((-25)/15)/((n/(-156))/4). Which is smaller: 17 or r?
r
Let x be 2*(-1 + -4)*(817/114)/(-43). Let c be (-1)/(-1) + 0 + 0. Which is greater: x or c?
x
Let k = -3782398/5 - -753640. Which is smaller: -2841 or k?
-2841
Let u(a) = -2*a**2 +