274 = 0. Which is bigger: 357 or g?
357
Suppose -42*x = 188*x - 23*x + 207. Is -16/539 equal to x?
False
Suppose 185*j + 16 = 182*j - 4*z, -5*z = -3*j + 20. Which is smaller: j or -4/1917?
-4/1917
Let t be ((-18556)/2)/1*1085/20460. Let c = t - -492. Suppose -6 = -4*f - 2. Is c at least as big as f?
False
Suppose -405 = -11*g + 8*g. Suppose 7*b - 2*b + 30 = q, -5*b = 2*q - g. Which is smaller: q or 53?
53
Let q be (-15 - 0)*(5 + (2 - 5)). Let o = q + 27. Let m be o/2 - 26/4. Is m greater than or equal to -8?
True
Suppose 12216 = -10*u + 54106. Is u less than 4185?
False
Suppose -682*l = -688*l - 14316. Is -2387 > l?
False
Suppose 134 = 3*o + 17. Suppose o - 19 = -5*a. Is -14/5 <= a?
False
Let a be (84/98)/(18/(-28))*-3. Let o be ((2 - 1) + a)*(48 - -1). Let u be 1652/o*15/6. Is 18 >= u?
True
Let r = -16435 + 16435. Do -2736 and r have different values?
True
Suppose 257 = 210*y + 47*y. Which is bigger: y or 6/53?
y
Let x = 17 + -50. Let i be ((-1)/1)/(x/(-17) + -2). Which is smaller: i or 5?
5
Let l(t) = t**2 + 6*t + 9. Suppose -q - 3*q = 28. Let p be l(q). Let c = -814 - -826. Which is smaller: p or c?
c
Suppose 3*s - 11 = -l, -5*l = 4*s - 2*l - 23. Suppose -w = -f - 88, s*f - 3*f + 90 = w. Which is smaller: 88 or w?
88
Let q = -26.9 + 24. Let c = q + 3. Let m = 191524 + -191500. Does m = c?
False
Let p = -10505 + 10360. Do p and -145 have the same value?
True
Suppose 12*f - 154 = 170. Let p be (-45)/12 - -1 - 2/8. Let l be (-1027)/(-39) + (-2)/p. Is f less than or equal to l?
True
Let v be 1/(-3) + (-3 - (-6115)/1830). Let r = v - -361/610. Is r > 2/5?
True
Let n be (-5)/4 - -1 - 1095/(-12). Suppose -n = -2*r - 59. Is r equal to 2/7?
False
Let l = -2 - -2.2. Let t = 288.2 + -288. Let d = l - t. Which is smaller: d or 0.05?
d
Let n(y) = y**3 + 22*y**2 - 11. Suppose 5*c + 104 + 6 = 0. Let d be n(c). Is d > 6?
False
Let q be -10*12/(-50)*80/(-48). Let i be 4 + 10/q + (-3)/2. Which is greater: -14/29 or i?
i
Suppose 3*q = -s - 2072, 6*q - 3*q = s + 2048. Which is smaller: s or -2061?
-2061
Let a = -717.1 - -717. Is -3/83 <= a?
False
Let o = 15 - 16. Let x be (-3)/(4/(88/(-3))). Let f = x + 8. Do o and f have the same value?
False
Let w be (-4 + 9)/((-2)/(-4)). Suppose -7*t + 234 = -w*t. Let p = -80 - t. Which is smaller: p or -1?
p
Let v = 9221 - 10492. Do -7 and v have different values?
True
Suppose -4 = 4*d - 0. Suppose 3*g - 26*l - 4 = -31*l, -2*l + 6 = -g. Let m be (-26)/(-2) + (d - g). Which is smaller: m or 27/2?
27/2
Let h be 478/70*(9136/776 + -7). Let j = h - -4/679. Are 33 and j unequal?
True
Let j = -57139 + 57154. Suppose -3*t + 74 = 5*g - 2*t, -73 = -5*g - 2*t. Is j equal to g?
True
Let t be 6 + (-18)/(5/((-555)/(-334))). Let i be 25/(-35) - (-4)/(-14). Is i smaller than t?
True
Let d = 23608 + -118038/5. Which is greater: d or 14/141?
d
Let n(y) = 5*y**2 + 123*y + 691. Let c be n(-12). Which is bigger: 17 or c?
17
Suppose 0 = 5*b - 113 + 93. Suppose 3*z = b*z + 1. Let w = 17/5 - 63/20. Which is smaller: w or z?
z
Let j = -1/143 + -41/429. Is -4 greater than or equal to j?
False
Let o = 396825/53 + -7487. Suppose 0 = 2*p + 10, v + 4*p = -4*v - 25. Is v less than o?
True
Let q(d) = 1522*d + 4. Let f be q(-1). Let o = f + 16722/11. Is o < 1?
False
Suppose 8*w - 45*w + 3696 = -4*w. Are 16 and w non-equal?
True
Let l = 11 - -40. Let y = l - 140. Let a = y - -89. Is 6 greater than a?
True
Let v = -1.66 + 1.07. Suppose -58892*g = -5*d - 58894*g - 33, 4*d - 24 = 4*g. Which is greater: v or d?
v
Let k = -52 + 65. Let u be -11 + k + (-2)/2. Let h = -95 - -2091/22. Is u less than or equal to h?
False
Let h = -397.8 + 367. Let i = h + 32. Let w = -1.13 + i. Are w and 3/2 nonequal?
True
Let g = -21202 + 3752752/177. Which is smaller: -14 or g?
-14
Let g = 46.79 + -4.49. Let w = g + -42. Let y = -145/3 - -49. Does y = w?
False
Suppose -2*g - 4*v - 210 = -7*g, -v - 133 = -3*g. Suppose -3*q - 27 = 0, -608*z + 110 = -606*z - 2*q. Is z >= g?
True
Suppose 7*w - 8*w - 3 = 0. Let o be (-8)/(-16) - w/2. Suppose 5*z = -5*f + 30, o*f - 5*z + 2 = -21. Do 1/32 and f have the same value?
False
Let u = -33853 + 16080169/475. Which is bigger: 1 or u?
1
Suppose 11*g + 620 = 620. Is g > 3/674?
False
Let n(s) = 7*s**3 + 5*s**2 - 15*s - 44. Let v(b) = -8*b**3 - 6*b**2 + 18*b + 44. Let y(p) = 7*n(p) + 6*v(p). Let k be y(7). Which is bigger: 272 or k?
272
Let t = -92 + 93. Let j be (3 + t)*1708/112. Are j and 61 equal?
True
Let h be ((-2)/3*-3)/((-2)/(-40)). Suppose 56*a - 16*a = -h. Is -0.62 > a?
True
Let s = -67975/83 + 819. Let t(d) = 12*d + 153. Let p be t(-9). Let o be -2 - p/(-90)*(1 + 1). Which is smaller: o or s?
o
Let v = -251 + 251.279. Let m = v - 5.279. Which is greater: 9 or m?
9
Let h = 33 - -112. Suppose 0 = -h*v + 144*v - 68. Let n = v + 70. Which is smaller: -2 or n?
-2
Let g(f) = -f**2 - f - 204226. Let w be g(0). Let n = w + 2240445/11. Let z = n + 547. Is -3 greater than z?
False
Let x = 1.49 - 11.09. Let y = x - -3.7. Which is greater: y or 0.1?
0.1
Let t be -2 - 0/(7/(-1)) - -3. Let f be (-4)/14 - 114/(-105). Is t != f?
True
Let n(q) = -55*q - 1. Let r be n(-3). Let g = -535656.8 - -535657. Are r and g unequal?
True
Let c be -2063*(12 - 154/11). Which is greater: c or 4127?
4127
Let z be 4*(-2)/24*-3. Let n be 1/(-3) - (31/(-3) - -6). Suppose -4*f - 19*p = -14*p + 10, n*f = -4*p - 8. Which is smaller: f or z?
f
Suppose 0 = -3*n + n + o + 11, 0 = -5*n - 5*o + 20. Suppose n*f = -4*y - 17, -5*f = y + y + 11. Is -51 < f?
True
Let k = -0.0146 + -4.9854. Is 0.088 less than k?
False
Suppose 35*d + 2112 = 22*d - 31*d. Suppose -5*r - 4*u = 229, -r - 110 = r - 3*u. Is r greater than or equal to d?
False
Let i = 2955 + -2956. Which is smaller: i or -2/6473?
i
Let w = -5.546 - -21.584. Is w not equal to -2/5?
True
Let p(s) = -16*s + 753. Let y be p(47). Let i = 35 - 23. Let m be (i/(-8))/((-7)/6). Are m and y equal?
False
Let x(r) = -r**3 - 35*r**2 + 5*r - 17. Let d be x(-11). Let u be (-7 - d/(-136)) + 4/(-34). Suppose -4*i = 40 + 72. Which is greater: i or u?
i
Suppose 0 = -3*f - 3*j - 57, -3*j = 4*f + 51 + 18. Which is smaller: -572/43 or f?
-572/43
Let m = 2920 - 2919. Let h be 4/(-6)*(-5)/10. Which is greater: h or m?
m
Suppose -18*p - 23626 - 18386 = 0. Is -2336 at most p?
True
Let h(u) = u + 42. Let c be h(-17). Suppose -24*x + c*x - 13 = 0. Suppose -10*p = -3 + x. Is -2/3 greater than p?
True
Let h = -6 - -5. Let k = -6055/48312 + 2/6039. Which is greater: k or h?
k
Let v be (136/40 - 3)*10. Suppose 45*n - 52 = 43*n - 2*q, 0 = -n + v*q + 11. Which is smaller: 24 or n?
n
Let h be (-766)/3000 - (-4)/(-160)*-10. Are h and -1/7 equal?
False
Let n = 352.9 + -280. Let r = n - 49. Is -2/3 smaller than r?
True
Let p = -226 + 257. Let m = p - 30.9. Which is smaller: -280 or m?
-280
Suppose -5*c + 4*x = -64, -4*x + 0 = c - 8. Suppose 3*u - 3*r = -9, -10*u - 5*r = -12*u - c. Which is bigger: 6/275 or u?
6/275
Let q be 24/72 + 50/3 + 1. Suppose 9 = -16*d + 15*d + 5*z, 4*d - 2*z = -q. Suppose 0*n - 2*n + 2*j = 8, 0 = -4*n - 2*j - 46. Is d at least as big as n?
True
Let j be (28/(-16))/((-1)/4). Suppose -5*i + 2*d + 23 = 0, 2*i - 3*d - j = -0*d. Suppose 0 = -5*y + 150 - 120. Which is greater: i or y?
y
Suppose 36 = -x + 47. Suppose 53*p - 60*p = -84. Let w(z) = -z + 21. Let i be w(p). Is x at least i?
True
Let h(n) = -n**3 - 11*n**2 - 14*n + 9. Let p be h(-10). Let o = -35 + p. Let z = 13 - o. Which is greater: z or -0.1?
-0.1
Let m(p) = 252*p - 40570. Let k be m(161). Suppose -2*o + 4*o = 2. Which is smaller: o or k?
o
Let n(t) = 3*t + 5. Let q be n(5). Suppose -5*b - 16 = -3*u - 4*b, 2*u + b - 9 = 0. Suppose 0*w = 2*w + u*m - 69, -3*m + 37 = w. Which is smaller: w or q?
q
Suppose 0 = 10*t + 72 - 744 - 378. Suppose 0*b + 3*b - 2*n = 321, 0 = 4*b + 2*n - 414. Do b and t have the same value?
True
Let y = 4.7 + -5. Let l = 228/35 - 2578/385. Do y and l have the same value?
False
Let z be ((-8)/(-12))/((-8)/(-132)). Suppose -z*g + 14*g - 9 = 0. Let b be g + (2 - -2 - 6). Which is smaller: -2/23 or b?
-2/23
Let n be ((-20)/(-32)*64/(-240))/(2/16). Which is smaller: n or -1271?
-1271
Let c(k) = k**3 + 29*k**2 - 30*k - 4. Let r be c(-30). Let y be (-62)/(-15) + r/30. Which is greater: y or -30?
y
Suppose -39 = -4*s - 7. Suppose -s*v + 7*v + 2 = 5*a, -v - 6 = a. Do