 least m?
True
Let n be (4730/44)/(10/24). Let f = 257 - n. Which is bigger: f or 2/69?
2/69
Let r = 0.34 - -4.06. Let v = 4.642 + 0.058. Let n = r - v. Is 19 < n?
False
Let f = 948 - 2833. Let a be (-13)/f*(-2 + 3). Which is smaller: -1 or a?
-1
Suppose -18 - 12 = -5*l. Let n = -484 + 483. Let k be n + 5 - (l - 0). Do k and -1/2 have different values?
True
Let g = 24978 - 524656/21. Is g smaller than -0.2?
True
Suppose -73*i + 746 = 2*v - 75*i, 4*i = 24. Is 379 < v?
False
Suppose 4*r = -4*u - 8, 5 = -4*u - 11. Let w be (9 + (-19)/r)*(-1)/2. Which is smaller: 2/1073 or w?
2/1073
Suppose 0 = 2*l - 134 - 118. Suppose l = -7*b - 455. Is -83 >= b?
True
Suppose -30 = 2*r - 2. Let j be (-206)/r - (-4)/14. Let t be (-5)/((-50)/474) + (-6)/j. Which is smaller: t or -0.1?
-0.1
Let g = 158 - -18. Let n = -424 + g. Is -1 greater than n?
True
Suppose -k - k + 476 = -4*l, -2*k + 125 = -l. Let u be (-10 - 885/(-90)) + 707/(-6). Are l and u non-equal?
True
Let h = -2473 + 2472. Suppose -4*m = -0 + 4. Are m and h nonequal?
False
Let q(c) = -29*c + 24. Let d be q(-4). Suppose -3*v - 4*v + d = 0. Which is bigger: 23 or v?
23
Let g(b) = 7*b + 29. Let z be g(-9). Let r be (3/6)/(z/(-6936)). Which is smaller: 101 or r?
101
Let p be 32 - (-1 + (-2 - 0)). Let z = p - 31. Suppose 4 = -3*q + v, -z*q - 5 = v - 2*v. Which is smaller: -1/20 or q?
q
Let d be ((-6300)/(-416))/3 - 5. Let r be (-10)/4 + (-623)/(-178). Is r equal to d?
False
Let g(n) = n**2 + 7*n - 73. Let p be g(-13). Let b be 4/(-32)*-4*54 - p. Which is bigger: 113/5 or b?
113/5
Let f = -125.7 + 245.8. Let u = f - 120. Which is greater: -1/19 or u?
u
Suppose -445 = 4*i + i + 4*a, a = 5*i + 445. Let z = i - -84. Do -5 and z have the same value?
True
Let w = -29/50 - -2/25. Let c = -16794 - -218320/13. Which is smaller: w or c?
w
Let l be (-218)/4*171/57. Is l equal to -164?
False
Let c = 52 - 1051. Let o = c + 930. Which is greater: o or -66?
-66
Let c = 21788 + -21391. Which is smaller: c or 0.2?
0.2
Suppose -637 = 57*t - 44*t. Is t at most as big as -75?
False
Let t(m) = 2*m**3 - 16*m**2 + 7*m + 14. Let d be t(7). Let v be -34 - 2/((-2)/3). Which is smaller: d or v?
d
Let g = -523/72 - -56/9. Let s be -1 + 3/(-288)*1. Let u = s - g. Which is bigger: u or 0?
u
Suppose -4*d + 33 = -d + 3*w, d - 7 = 3*w. Let o(g) = 2*g**2 + 76*g + 82. Let r = -253 - -216. Let j be o(r). Which is greater: d or j?
d
Suppose 4*q + 2*q + 1008 = 0. Let d be (q/36)/(8/6). Which is smaller: -5 or d?
-5
Let v be (-10)/2 - (-3 - (1/(-1) + -4787)). Is v less than -4790?
False
Let b be (-1 + 1)/(4 + -5). Let x = 1738002 + -439713884/253. Let v = x + -28/11. Which is bigger: b or v?
b
Let a be (-6 - (0 - 3)) + 35/5. Let i(f) = f**2 - f - 11. Let b be i(a). Is b greater than 5/36?
True
Let c = 8070/371 + -152/7. Let w be -6*4/6 - -3. Is c smaller than w?
False
Suppose 4*n - 2 = 2*l, -4*l - 2*n = -52 + 16. Let i(f) = -f - 4. Suppose -17 = 6*b + 55. Let a be i(b). Which is greater: l or a?
a
Let z = -271 + 716. Which is greater: z or 451?
451
Suppose 5*g + 0*g + 4 = 3*k, 0 = 5*k + 5*g - 60. Let m = -185 - -176.5. Let t = -8.8 - m. Is k greater than or equal to t?
True
Suppose -3*g - 28 = -5*l, -4*g + 16 = 4*l - 0*g. Suppose -l*i - 974 = 3*b, -10*b + 968 = -5*i - 11*b. Is i at least -193?
True
Let u = 2.19687 - 0.09687. Is -341 < u?
True
Let m = -3637252/19 + 191357. Which is smaller: -77 or m?
m
Let q = -3398 - -9481. Is q greater than 6082?
True
Let m(o) = o**3 + 21*o**2 + 25*o - 506. Let v be m(-16). Is v < 380?
True
Let y = -0.3773 - -13.3773. Which is bigger: 31/3 or y?
y
Let x be (270/(-360))/(1 - (-36)/(-32)). Let b(d) be the second derivative of d**3/2 - 8*d**2 - d. Let c be b(x). Is c > -1?
True
Let z = 16 + -28.9. Let s = z + 36.9. Are s and 0.2 non-equal?
True
Let i be 580/18 + 22/(-99). Let y = -27 + i. Suppose -10 = -y*n - 15. Which is bigger: n or -10/9?
n
Let d be 1/((6 + -7)/103). Let f = d - -1033/10. Which is bigger: 1 or f?
1
Let z = -3/10 + 49/30. Let y be 21/(-14)*56/(-6). Let a = 15 - y. Which is smaller: a or z?
a
Let o(j) = -29*j - 239. Let y be o(-9). Suppose y*r = 26*r - 48. Which is smaller: 38/3 or r?
r
Let h = -0.5803 + 93.5803. Is h <= 98?
True
Let q be -42*(-12)/42*(-19)/(-3). Is q at most as big as 2.3?
False
Let x = -402 + 402.1. Which is smaller: x or 2586?
x
Suppose -584 = -3*j + 2*u, 4*j + j - 2*u = 972. Let w = 191 - j. Do -28 and w have the same value?
False
Let h = -59 - -67. Let n be ((-36)/h - -2)*88/(-10). Suppose -15*z = -n*z. Is -1 greater than z?
False
Let n be (-551)/(-68) - 2/(-8). Which is smaller: n or 7?
7
Suppose 0 = -52*n + 59*n + 3332. Let c be -1 + n - (-7 - 30/(-15)). Are -471 and c nonequal?
True
Let o = 348123288/235 + -1481379. Let y = 238/9 - 11141/423. Let n = o + y. Is -2/5 at least as big as n?
True
Let a(j) = -j - 10. Let s(o) = -2*o - 29. Let w(k) = 8*a(k) - 3*s(k). Let d be w(5). Let u = d - -11. Which is bigger: u or 7?
u
Let v(p) = -p**3 + 7*p**2 - p - 7. Let q be ((84/(-5))/(-14))/((-4)/(-10)). Let k be v(q). Which is smaller: 28 or k?
k
Suppose -46 = -23*o + 299. Is o less than or equal to 31?
True
Let h be (-27 + 20 - 80)*(-44)/6. Is h less than 638?
False
Let i(z) = -8*z**2 + 3*z - 5. Let y be i(5). Let s be ((-336)/20)/(-7)*y. Let w be -2 - -6 - s/(-116). Which is bigger: 0 or w?
w
Let w(c) = -6*c**2 - 292*c - 502. Let y be w(-58). Is y < -3750?
False
Let p(a) = -18*a + 87. Let c(m) = 3*m - 4. Let x be c(3). Let o be p(x). Is -22 greater than o?
False
Let f be ((-27)/(-45))/(449970/20). Which is smaller: 1 or f?
f
Let x = -10.6 - -33.7. Let t = 24.3 - x. Is t at least as big as 1?
True
Let m = 8/1163 - 45469/16282. Which is bigger: -3 or m?
m
Let h be 10/(3/120*-4). Let b = -109 + h. Which is smaller: b or -210?
-210
Suppose 107*x - 123*x - 144240 = 0. Which is smaller: -9014 or x?
x
Let o(f) = -f - 387. Let c be o(-11). Let u = c + 385. Which is greater: 70/9 or u?
u
Suppose 0 = -5*g - 2*k + 17213, 5*g - 10*k + 4*k = 17181. Which is smaller: g or 3440?
3440
Suppose -1761 + 427 = -y + 5*g, 0 = -5*y - 3*g + 6894. Is y at most 1374?
True
Let l = 96 + -96.43. Let r = l + -0.07. Let z = 830.99 - 831. Which is smaller: r or z?
r
Let d be 17/((-17)/(-20106))*(-9 + 57/6). Is d > 10054?
False
Suppose -6*j - 12 - 12 = 0. Let p be j + 0 + 48/2 - 3. Suppose p*z - 402 = 159. Is z > 32?
True
Let v = -3906 + 3924. Is -1.16 less than or equal to v?
True
Let d = 27.52 + -31.5. Let f = -4.2 - d. Let b = 0.11 + f. Which is smaller: -1/5 or b?
-1/5
Suppose 0 = 4*p - 0*p - 24. Suppose x + 1 - p = 0. Suppose -5*q + 8 = v, 4*q - 4*v + 3 = -x. Which is smaller: q or 5?
q
Let j = 3030 + -3376. Do j and -344 have different values?
True
Let a = 1 - -1. Suppose 56 = 5*h + 26. Let p be (h/(-4) + -3)*(-12)/24. Which is bigger: p or a?
p
Let c = -35 - -8. Let o = c - -27.084. Let d = o - -0.016. Which is greater: d or -1/7?
d
Let o = 5521 + -38645/7. Is o greater than -11989?
True
Let d be 15/(1440/(-17824))*(0 + -3). Which is bigger: d or 560?
560
Suppose 64200 = -1431*t + 1411*t. Which is bigger: -3207 or t?
-3207
Let b = 37964 + -38072. Which is smaller: b or 1.02?
b
Let b = 750.7 + -751. Is b greater than -27/52?
True
Let f = 2478019/460 - 5387. Which is smaller: 1 or f?
f
Let l be -3 - 3/(9/(-29)). Let g = -22/3 + l. Are 61 and g nonequal?
True
Suppose 5*i + 4491 + 2719 = 0. Let b be (-1)/5 - (i/(-315) + -5). Which is smaller: -22 or b?
-22
Suppose -7*u + 12*u + 2*z + 8337 = 0, 3*z = 5*u + 8357. Let j = -258694/155 - u. Which is bigger: -1 or j?
j
Let g(b) = 4*b**2 + b + 2. Let d be g(-1). Suppose d*w = 11 - 176. Let h be (-60)/(-40)*(-2)/w. Which is bigger: 0 or h?
h
Let t(z) = -33*z**2 - 143*z + 101. Let r be t(13). Which is greater: -7334 or r?
-7334
Suppose 5*n - 43 + 8 = 0, 14 = 4*i + 2*n. Which is smaller: i or 5/344?
i
Let c = -802 - -5958. Let m = 397006/77 - c. Is -1 > m?
False
Let l = -50080/10563 - -2768/503. Suppose -g = -4*g. Is l not equal to g?
True
Suppose -91*x + 22280 = -11*x - 637*x. Let s be ((-9)/(-4))/(3/(-56)). Is s equal to x?
False
Let t = 11963509/166005000 - -112/19375. Let l = t - 1/119. Which is greater: l or 1?
1
Let x be 475 + 96/(-624)*(0 - 13). Do 476 and x have the same value?
False
Let t be (8 + 1458/(-348))/((-11)/(-18)). Let k = t - 49/29. Let q be (-2)/