4. Let n = -39671/47 + q. Suppose -19*b + 11 = -8*b. Are b and n unequal?
True
Let t be (5 - -24) + 2 - (-2)/1. Suppose t*a - 12 = 37*a. Let z = -671/7 - -96. Is z >= a?
True
Suppose 2*f - 4*t + 676 = 0, -151*f - 4*t - 1388 = -147*f. Is -328 > f?
True
Suppose 2*o = -5*g + 17, -o + 18 - 8 = 3*g. Let d = -1 + 1. Suppose u + o - 43 = d. Do u and 43 have different values?
True
Let i = 522878941/452661 - 1780/10527. Suppose -118*w + 47222 + 89068 = 0. Let m = w - i. Is 7 equal to m?
False
Suppose 82*t - 15 + 41 = 56*t. Which is greater: -23/143 or t?
-23/143
Let n be (-4)/(-6)*(-68940)/(-120). Which is smaller: n or 379?
379
Let d be 1700/(-1020) + 4/6. Is -17/113 > d?
True
Suppose -76*s - 263526 - 199794 = -232*s. Is 2970 greater than s?
False
Let t be 1/(-2) - (-1028)/8. Let h be 6/t*(14 + -2). Suppose 2*z - 32 = -3*j, -1094*z + 3*j = -1093*z + 29. Which is smaller: z or h?
h
Let r = 889/495 - -21/55. Which is greater: 1 or r?
r
Let v(l) = 4*l - 18. Suppose 4*j - 4 = -5*u, -3*j + 4*u = -0*u - 34. Let n be v(j). Let k be (-9)/n - (-4)/2. Which is smaller: k or -4?
-4
Let z = -37 + 38.4. Let u = 2.9 + z. Let t = -9.7 - u. Which is smaller: 0.1 or t?
t
Suppose 2*n + 2*o + 14 = -2*o, 7 = 2*n - 3*o. Suppose d - a - 2*a - 12 = 0, 3*a = 5*d - 24. Let u be (-6)/(-54) - (d + 1 + -4). Which is bigger: n or u?
u
Suppose j - 365 = 2*p, -515 = 2*p + 3*j - 138. Let h = p + 183. Which is greater: 2/61 or h?
2/61
Let x be -115*7/((-21)/3). Let i = -74 + x. Is i greater than 40?
True
Let h = 25 + -35. Let p(i) = -2*i - 12. Let o be p(h). Suppose -5*q + 3*d - o*d = -15, -3*d = -5*q - 9. Which is smaller: 6/17 or q?
q
Suppose 85*k + 53*k - 46*k - 92 = 0. Which is bigger: k or -2/5323?
k
Let s = 11991 + -11990. Which is smaller: s or -0.0435?
-0.0435
Let j be ((-1)/10)/(2 + (3 - -1)). Let u(o) = -o**3 + 6*o**2 + 7*o + 4. Let l be u(6). Let h be l/69 + -1 + (-8)/(-6). Is j < h?
True
Suppose 128 + 47 = -5*q. Let a = q + 106/3. Let x(k) = -k + 18. Let h be x(18). Is h greater than a?
False
Let g be 2*((-46)/(-36))/((-54)/801). Let k = -16/27 + g. Which is smaller: k or -38?
k
Let r = -60.2 - -58.49. Is r less than or equal to -1?
True
Suppose 0 = -5*u - 4*r + r + 575, -2*u + 226 = 2*r. Let l = -471/4 + u. Is l greater than -10/7?
True
Let x be (-9)/243*-18*18/(-1028). Let i be (-1 + 0 - (1 - 3)) + 0. Is i at least x?
True
Let a = 273.282 + -273. Let y = -0.482 + a. Which is smaller: y or 35?
y
Let s be -3*(3 - (-85)/(-1)). Let k be 258/s - (4 - 3/1). Which is smaller: -0.3 or k?
-0.3
Let i = 412867891/675 + -15589568/25. Let v = i - -11926. Let s = v + -2/135. Which is bigger: s or 4?
4
Let p = -49801810/21 + 2370572. Let z = p + 943. Do 1 and z have the same value?
False
Let d = 5428 - 8616. Is d != -3189?
True
Let j = 0 + -0.1. Let t = j - -0.1. Let o = -38711 + 38710. Is o at most as big as t?
True
Let k = 5.7383 + -2.7383. Let b be (-5)/2 - (2 + -4). Is k != b?
True
Let x = -5535 - -6036. Which is greater: 0.6 or x?
x
Let n = -10.3 - -10. Let w = 2.95 - -12. Let c = -15 + w. Which is smaller: n or c?
n
Let p be 3/(-9) - (280/15)/7. Let c be ((-6)/4)/(p/(10 + 8)). Which is greater: c or 8?
c
Let y(k) = -2*k - 26. Let s be y(-14). Suppose 2*c = 2*m - 6*m + 132, -s*m - 5*c + 82 = 0. Which is greater: m or 29?
m
Let u(o) be the first derivative of -6*o**2 + 7*o - 109. Let q be u(24). Are -282 and q unequal?
True
Suppose 7*d - 20 = 3*d. Let i = 945 - 541. Let c = -399 + i. Is c < d?
False
Let f = -66944/883739529 + -2/50851. Is f < -0.1?
False
Suppose -25 = 31*o - 36*o, -2*o = -3*i - 19. Let p(x) = 81*x + 29. Let u be p(i). Which is bigger: u or -213?
-213
Let z = 0.132 + -0.372. Suppose 4*j - 3*j - 3 = 0. Let h be 2/(-9)*j + (-13)/(-13). Is z at most as big as h?
True
Let l be (((-13055380)/83690)/(-13) - 4) + -8. Is -0.1 at most as big as l?
True
Let k be (-1219)/7 - 84/98. Let w be 540/(-168)*k/(-120). Which is smaller: w or -6?
-6
Let n be (15/(-55))/((-9665)/6590) + 8/(-44). Is n at most -2?
False
Suppose -2*d + v = 11071, -108*v + 27646 = -5*d - 101*v. Which is bigger: -5537 or d?
-5537
Let q = 8363 - 8362. Let j be (-10740)/2686 + (20 - 16). Is j less than q?
True
Let q(l) = l**3 + 71*l**2 + 14*l + 152. Let i be q(-71). Is i greater than or equal to 1/2?
False
Let o be 3/(-33) - -2 - 3. Suppose 0 = 13*y - 0*y - 39. Suppose -r = -y*r + 3*r. Which is bigger: r or o?
r
Let k be (-6)/(-27)*(-3)/(-11). Let q be ((-9)/2)/(9/(-12)) - 5. Is q greater than k?
True
Suppose 0 = 4*d + p - 1196, -3*d - 4*p + 870 = -27. Let k = d + -106. Which is smaller: k or 191?
191
Let h(m) = 36827*m + 12. Let k be h(18). Let q be k/(-120) + (-4)/16. Let p = 5502 + q. Is p at least as big as -23?
True
Let g(u) = 333*u + 155. Let z be g(0). Is 617/4 equal to z?
False
Let z be (5 - 4 - 11) + 4795/35. Which is smaller: -2 or z?
-2
Let f be ((-179)/(-2506))/((-116)/(-56) + -2). Let g = 194 - 74. Suppose 3*p + 3*m + g = -0*p, 0 = 3*p + m + 130. Is f greater than or equal to p?
True
Let d = 77124 - 77069. Let r be (-8)/12 - 328/(-6). Which is bigger: r or d?
d
Let m be (4/4830*1)/((-460)/(-254725)). Let x = -3/46 - m. Is x not equal to -1?
True
Let t be (0 + -2)/(-7 + 4194/657). Is 3 at least t?
False
Let v = 174.4728 - 173.92. Which is greater: -2 or v?
v
Let x = 97706992 - 53348042273/546. Let y = -316/7 - x. Suppose j = -2*c - 7, 0 = 2*c - 3*c - j - 6. Which is smaller: c or y?
c
Let u be (-7)/91 - 27/(-13). Let c be (10/(-8))/(1/(-4)). Suppose 4*g + c + 8 = -5*y, 0 = -3*g + 2*y - 4. Which is smaller: u or g?
g
Let z(v) = 20*v + 108. Let i be z(-2). Suppose 0 = 3*a - i + 65. Which is bigger: -15 or a?
a
Suppose d = -3*d - 4. Let b be ((-8)/(-32))/((-81)/(-14604)). Let k = -45 + b. Are d and k unequal?
True
Let v(q) = -q**2 + 23*q - 20. Let m be v(22). Suppose m*x = -5*d + 160, -61 = -3*d + 5*x + 4. Is d less than 32?
True
Let x(y) = -y**3 - 10*y**2 - 19*y + 31. Let k be x(-11). Let f = 351 - k. Which is smaller: -8 or f?
f
Let g(i) = -5*i + 1. Let s be g(2). Let o be -2 + 22/(-34)*(7 + -11). Let d = o - 64/51. Which is smaller: d or s?
s
Suppose 0 = 3*q - c + 809 - 127, 5*c + 922 = -4*q. Let h be 40/q*(0 + -6). Is -2/7 < h?
True
Let o be -1 + (-2)/2 - -17. Let v = o + -6. Does 8 = v?
False
Suppose -5*z - 66 = -91. Suppose -2*k - z*c = -2036, -3*c = -0*k - 3*k + 3012. Suppose m + 7*m + k = 0. Which is bigger: -125 or m?
-125
Suppose 2*q - 4548 = -2*a, -1360 = -3*a + 4*q + 5420. Is 0.1 > a?
False
Suppose 0 = a + 6*n - 26, -n + 8 = -3*a + 5*a. Which is smaller: a or 58/69?
58/69
Let u = -0.295 + 0.819. Let d = 0.62 - 0.03. Let g = u - d. Which is greater: g or -1?
g
Suppose -3*o = -6*o + 18. Suppose -g = o + 1. Suppose -83 + 155 = -12*q. Which is greater: q or g?
q
Let z be (8/(-10))/(4/(-10)). Suppose -5 + 11 = z*f. Suppose -6*t + 9 = 2*m - f*t, 5*m = -t + 3. Which is smaller: -2/19 or m?
-2/19
Let c = -2380 + 585. Do c and -1794 have the same value?
False
Suppose -2*w - 522 = -4*w + 5*b, 5*w = 4*b + 1322. Let p be 2 - (w/44 - 4). Suppose -9*z = 3 - 3. Is p > z?
False
Let b be 8303/1083*(6/(-188) + 0). Which is smaller: b or -1?
-1
Suppose -3*m + u + 3190 = 0, -283*u + 278*u = 5*m - 5350. Which is smaller: 0 or m?
0
Let k be ((-1)/12)/(-10 + (-364)/(-36)). Which is smaller: k or -1?
-1
Suppose 92*n - 94*n - 12 = 0. Let v be (40/n)/(-4) - (-4)/(-6). Let j be (-4 + 2)/(v/((-4)/460)). Which is smaller: j or 0?
0
Let z(y) = y**2 - y - 41. Let h be z(-13). Let u be 16/(-14)*(-6 + h/27). Is -6/5 equal to u?
False
Suppose -4*x - 408 = 13*x. Let d be 27 + -35 - (x + 2). Which is greater: 18 or d?
18
Let q = 3.357 + 208.643. Which is bigger: q or 3?
q
Let x = -1057.656 - -1057.3. Does -0.06 = x?
False
Let i = 74687039807513/1802 + -41446755664. Let f = 295359/34 + i. Let d = 974 - f. Is d != 1?
True
Let q be (104/16 - 6)*4. Suppose 3*t + q*t = -5. Is t less than or equal to -4/177?
True
Let o(p) = -p**2 - p - 3. Let a be o(-1). Let i be 1 - a - (-40)/(-52). Which is smaller: i or 3?
3
Let n = -135 + 95. Let x = 59 + n. Let m = 11241 + -11224. Is x smaller than m?
False
Suppose -28*i + 33*i = 250. Let j = i + 53. Let u = -1959/19 + j. Which is smaller: -4/5 or u?
-4/5
Suppose -2*y - 2*s + 0*s + 10 = 0, 18 = -2*y + 5*s. Let m = 69351 + -69363.5. Is y bigger than m?
True
Let d(j) = -13*j - 584. Let u 