 Let p(f) = 11*f - 44. Let x be p(4). Suppose -q + 11 - 10 = x. Is q > g?
True
Let a = 40 - 38. Suppose -5*x - 10 = a*n + 87, -4*x - 5*n = 64. Is x less than -20?
True
Suppose 411*p + 2150 = 421*p. Is 215 equal to p?
True
Suppose 0 = 4*d + j, 6*d - 9*d = 4*j. Is d <= -832?
False
Suppose -76*v + 81*v = -35. Which is smaller: -11/2 or v?
v
Suppose 4*w - 24 = 5*z - 0, 0 = 4*w - 3*z - 16. Which is smaller: -2/481 or w?
-2/481
Suppose -35*k + 47*k - 11280 = 0. Is k at most as big as 940?
True
Let j be (-20)/(-15) + (48/(-8))/18. Is j greater than or equal to -189/8?
True
Let z = -2 + -1.6. Let b = 3.4 + z. Let g be ((-6)/90)/(1/(-3)). Which is smaller: b or g?
b
Suppose 12 = -4*q, -4*q + q - 25 = -4*v. Let s be v/2 - (-6 + 6). Which is smaller: -2/9 or s?
-2/9
Let l = -164.78 - -165. Which is smaller: -1 or l?
-1
Let l be 118*((-9)/(-18) - 0/2). Let v = l - 74. Which is smaller: v or 2/3?
v
Let h = -475 + 247. Is h <= -1138/5?
True
Let o = -54/5 - -221/20. Let b = -0.04 + 4.04. Let s = -3 + b. Is s greater than or equal to o?
True
Let i = -6 - -10. Suppose -s = -i*s. Is s less than -3/25?
False
Let y = 745954/198135 - 2/11655. Are y and 4 equal?
False
Let z = 39 - 32. Suppose 0 = -7*x + z. Which is smaller: -3/22 or x?
-3/22
Let p be (-4)/10*24/30. Is p greater than 1?
False
Suppose 23*q - 73 + 257 = 0. Is -85/9 at most as big as q?
True
Let s = -4730/3 + 1562. Let u be ((-8)/20)/((-2)/(-80)). Which is smaller: u or s?
u
Let o(r) = -r - 7. Let b be (-45)/(-4) + (-1)/4. Let y be o(b). Are -17 and y unequal?
True
Suppose 5*m = -2*h + 4*m + 85, -3*m - 229 = -5*h. Let c be 40/h*2/(-5). Are 1 and c equal?
False
Let c = -1 - -1.1. Let x = c - 0. Let w = -3660 - -14639/4. Is w smaller than x?
True
Suppose 9 + 26 = 7*k. Let t(i) = -i - 1. Let p be t(k). Let r be (5 - 1)*2*-1. Which is smaller: r or p?
r
Let s = 1725 + -3449/2. Let v = -72 - -1081/15. Which is smaller: v or s?
v
Suppose 163*z = 166*z + 201. Which is bigger: -200/3 or z?
-200/3
Suppose -3*v - 21 = -s + 4*s, 0 = 5*v + 3*s + 45. Do v and -12 have the same value?
True
Suppose 3*j = 10 + 2. Let v = 121 + -79. Let f be 4*((-3)/v + 0). Is f smaller than j?
True
Let r be 3*(-4)/6 - (-198)/21. Which is bigger: r or 7?
r
Suppose 2*z = 4*k + 12, 0*z + 3*k = 5*z + 5. Let l be (0 - 0) + z/(-2). Which is greater: l or 3?
3
Let q be (-11846)/(-119) - 34/289. Is q at least 100?
False
Let f be (3/2)/(12/32). Suppose -p - 6 = -4*p - f*c, c + 7 = -5*p. Which is greater: p or -9/7?
-9/7
Suppose -444 = -11*t + 8*t + y, -5*y + 720 = 5*t. Which is greater: t or 148?
148
Suppose 0*h = 3*h. Let a(c) = -4*c + 16. Let s be a(5). Let z be 124/(-56) + (-2 - s). Are h and z unequal?
True
Suppose 51*l = 35*l + 608. Which is bigger: l or -0.03?
l
Let p = -195 + 168. Is -26 <= p?
False
Let k = -1440629/248 + 5809. Which is smaller: k or -1?
-1
Let w be (-4)/8 + 15/(-2). Let r = 1 - -14. Suppose -5*h + 4*t - r = 0, 0 = h + 2*t - 0*t + 17. Which is bigger: w or h?
h
Let l = -7.54 - -5.54. Which is bigger: l or -0.37?
-0.37
Let f be (-18)/(-4)*8700/(-45). Let p = f + 13042/15. Suppose 5*x - 3*x + 2 = 0. Is x < p?
True
Let w = -14 + 17.5. Let g = w + -6.1. Let f = 0.6 + g. Is f less than or equal to 2/17?
True
Let l = -96 - -167. Let o = 1619/15 - 325/3. Is o at most as big as l?
True
Suppose 9 = -2*o + 5*o. Suppose o*r = r + 8. Let z be ((-3)/r)/((-39)/8). Is z less than or equal to -1?
False
Suppose -w + 20 = 3*w. Suppose f + 3*h + 5 = 5*h, w*f - 8 = -h. Let b be f/(-4)*(-24)/408. Is b less than 1?
True
Let t = -113 + 192. Let p = 124 - t. Let k be 2/5 - 99/p. Is k less than -3?
False
Let i = 0.06 - 13.06. Let f = i - -12.98. Let s = -113 - -111. Is f less than s?
False
Suppose 0 = -4*b + 1 + 3. Let x(s) = -2*s + 2. Let f be x(b). Is 0 less than f?
False
Let y be 22/(-3) + 4*1/12. Suppose 0 = 5*p - p + 36. Let c be y/(-18) + 3/p. Which is smaller: -1 or c?
-1
Suppose -5*h = -0*h + 5. Let k(r) = 2*r + 5. Let o be k(-15). Let w = o - -76/3. Which is smaller: w or h?
h
Let z be (-20)/(-6) - ((-680)/(-30))/17. Is z smaller than -10?
False
Let v be 87*(-3)/(17 - -7). Which is bigger: -12 or v?
v
Let i(x) = x**3 + 15*x**2 + 14*x - 2. Let p be i(-14). Let s be (1/(-2))/(p/4). Is s at most 0.14?
False
Suppose 558 = 2*c + 4*c. Let h be (-4)/20*-5 - c. Which is bigger: -91 or h?
-91
Let j = -16.2 + 7.6. Let y = -8.5 - j. Which is greater: -3 or y?
y
Suppose 0 = -31*i - 6*i. Which is smaller: i or -2/155?
-2/155
Let j = -0.7 - -7.7. Let t = 19 + -24. Let g = t - -7. Which is smaller: j or g?
g
Suppose 5*u + 455 = -24*f + 19*f, -2*f = 5*u + 464. Do u and -96 have the same value?
False
Let d = -281 + 280.92. Which is smaller: 1/4 or d?
d
Let j(s) = 5*s - 3. Let t be (-13 + 11)/(4/(-38)). Let a = t + -17. Let b be j(a). Is -0.1 less than or equal to b?
True
Let p = -192 - -141. Is p bigger than -50?
False
Let g = 0.19 - 3.29. Let f = g + 3. Let z = 40 - 35. Do f and z have the same value?
False
Let m be (-6)/10 + 927/(-30) + -2. Which is bigger: -1 or m?
-1
Let y = -1294 + 1293.8. Which is smaller: y or -213?
-213
Suppose -6*y - 3*r = -5*y - 53, -5*y + 4*r + 246 = 0. Is 0 > y?
False
Let t = -116/3 + 194/5. Let r be 2/(-11) + 9/(-11). Which is smaller: r or t?
r
Let n be -2*(3 + 1)/8. Let o be 4/(n - -17)*(-16)/(-4). Is -2/195 >= o?
False
Let w = 269 - 147. Is w less than or equal to -2/5?
False
Let u be ((-244)/44 - -5) + 12/22. Is u equal to 3/368?
False
Let k be ((-4)/20 + -1)*15. Let v = k + 23. Let q be 12/3 - (-4 + 4). Which is bigger: v or q?
v
Let r be -38*1 - 0/(-7 + -3). Is r greater than or equal to -40?
True
Let r = -299 + 556. Suppose -5*b = j - 22, -4*j + r = -3*b + 54. Which is greater: 0.1 or j?
j
Let x = -206 - -206.1. Which is bigger: x or 168/13?
168/13
Let n = 275 - 196. Is n less than or equal to 81?
True
Let o be 2 + 28/(-3 + 1). Let i be ((-6)/5)/(-3) + 62/(-5). Is i at least as big as o?
True
Suppose -20*h = 10*h - 1260. Which is greater: 41 or h?
h
Let i be (-1)/(-6) + 59*(-7)/336. Is -1 smaller than i?
False
Let s be (-6)/(-27)*(-11)/(-869)*-6. Which is smaller: 1 or s?
s
Suppose -84*v + 1279 = -821. Is v less than or equal to 25?
True
Suppose 51*i - 614 = 1222. Which is smaller: i or 41?
i
Let l be 4/(-9)*(6 - 3)*4. Let m be 0 - 4 - (2 - 1). Which is smaller: m or l?
l
Let o = 14 + -13.87. Let a = 0 - o. Is a less than or equal to -1?
False
Let m(g) = g**2 - 13*g - 33. Let u be m(16). Suppose 15 = -2*w + u. Do -1 and w have the same value?
False
Let h = 97/132 + -11/12. Let d be ((-4)/1 + 4)/(-1). Is h bigger than d?
False
Let w = -17/20 - -3/5. Let s = 41/210 + -1/35. Let a = s - 2/3. Is a at least w?
False
Let i be ((-3)/(-2))/1*(-16)/(-12). Let o be (-5 - (-1 + i))*(-32)/72. Are 3 and o equal?
False
Suppose 3*s - 5 = -2*s. Let d(q) = -q**3 - 5*q**2 + 9*q - 36. Let b be d(-7). Which is bigger: b or s?
s
Suppose 0 = d - 32 - 11. Let q = d + -39. Is q <= 4?
True
Suppose -5*v = k - 8 - 27, 2*k = -4*v + 28. Suppose 0 = -5*m + 5*h + 70, 3*h - 13 = 4*m - 66. Let p(f) = 3*f - 26. Let n be p(m). Are v and n equal?
True
Let p = 1267 + -74755/59. Which is bigger: 0 or p?
0
Suppose -4*j = 7*j - 198. Let t(k) = -k**3 + 19*k**2 - 16*k - 36. Let a be t(j). Which is greater: a or -2/383?
a
Suppose 14*t + 234 = 10. Which is smaller: t or -9?
t
Let i = -1998 - -1667. Are i and -331 nonequal?
False
Let p be (15/(-9))/((-4)/12). Let r = 6963 + -940009/135. Let f = r - -1223/270. Is p smaller than f?
False
Suppose -2*w + 33 = 5*b, 3*w = 4*b - 0*w - 8. Suppose f + 0*l - b*l = -37, 5*l = -3*f - 91. Is -31 <= f?
False
Let q = -302/7 - -39. Let w be 9/(-2)*390/(-315) + -6. Let n = q + w. Does -6 = n?
False
Let p be 2552/33 + 2/3. Suppose y + 4*o + o - 42 = 0, 0 = 3*y - o - p. Let l be (-3)/2 + y/20. Which is bigger: l or 0?
0
Suppose 27*j + 6 = 30*j. Suppose -13 = -o + 2*f, -4*o + f + j*f + 27 = 0. Which is smaller: 2 or o?
2
Let i = 121 - 28. Let h = 94 - i. Let v = -5716/19 - -301. Is h less than v?
False
Let r = 1.7 + -3. Let l = 7.4 - 8.4. Is l at least r?
True
Let r = 18 - -2. Suppose 0 = o - 2*o + r. Let s be (-9 + 1)*25/o. Which is smaller: -11 or s?
-11
Suppose 5*g - 109 = 7*r - 8*r, g + r = 25. Which is smaller: 25 or g?
g
Let f be 1/(-4)*6/(-15). Let c(t) = -t + 14. Let h be c(10). Suppose h*p - 5*l + 21 = 0, -p + 4 = 2