less than r?
True
Let d = 0.5441 - -32.4559. Does -27 = d?
False
Let c = -11283/1495 - -175/23. Which is smaller: 1 or c?
c
Let w be 18/(-117) + (-56)/(-26). Let b be (w/(-10))/(15/6 + -3). Which is smaller: b or 9/7?
b
Let u = -36.6464 + -0.3536. Is u bigger than -0.17?
False
Suppose -n + 3*a - 6 + 2 = 0, 0 = 5*n - 5*a. Suppose 4*p = -5*g - 15 - 59, -5*p + n = g. Let t = g - 22. Which is smaller: t or -39?
t
Let v = 2832 + -2945. Are v and 3 nonequal?
True
Let z be ((-2444)/(-130))/((-2)/5). Let y(g) = -g**2 - 9*g + 16. Let u be y(-13). Let x = u + z. Which is smaller: 1 or x?
x
Let h = -5265 + 5445. Which is smaller: 5 or h?
5
Let t = 1238.4 + -812.84. Let i = 426 - t. Is i at least 0?
True
Let c be ((4 - -5) + -7)*3/6*-1. Is 24/1297 smaller than c?
False
Suppose 3*d - 4*z = 7*d + 36, -2*d - 5*z = 24. Let h be (d/(-21))/((-22)/84). Let a = 433/1638 + 5/234. Which is smaller: a or h?
h
Let j = -384.724 - -385. Let t = j - 0.276. Which is smaller: t or 0.61?
t
Let o(m) = -m**2 + 36*m - 1. Let n be o(14). Suppose 3*r - 20 = -w - n, 3*w + 285 = -3*r. Let q be 1 - 2/(-4) - (-1104)/r. Is 0 less than q?
False
Let k be 9/18*-4497*5/(-30). Which is bigger: k or 0.3?
k
Let t = 22/3 + -104/15. Let c(f) = f**2 + 3002*f + 62799. Let r be c(-21). Is r at least t?
True
Suppose 36882 = 21*d + 7054 - 45478. Are 3586 and d unequal?
False
Let y(u) = 13*u + 239. Let a(x) = 27*x + 480. Let q(r) = 2*a(r) - 5*y(r). Let n be q(-35). Which is greater: 151 or n?
151
Let q = -75 - 8. Let h = q + 100. Suppose -5*o = i + h, 6*o - 2*o = 4. Is -21 smaller than i?
False
Let j = 18080 - 18087. Is j at least 1.2?
False
Let f be (2/15)/((-29)/(-5)). Let q(i) = i**3 - 15*i**2 + 257*i - 3403. Let n be q(14). Is f <= n?
False
Let t be (-2)/(-3) - (-53)/(-66). Suppose 13 = 5*g + 66*q - 67*q, -3*g + 2*q + 33 = 0. Is g < t?
True
Let t = -10381 + 10378. Is 476 at least as big as t?
True
Let v be (6 - 609/9)*(2 + -1)*-6. Is v bigger than 370?
False
Let v be (((-15)/(-6))/(20/36))/((-6)/14). Let l = -98/23 + -643/92. Let o = l - v. Is o smaller than 6?
True
Let g(k) = -k**3 - 7*k**2 + 7*k - 9. Let p be g(-8). Let c be 158/175 - 3 - 12/84. Which is greater: c or p?
p
Suppose -20*i + 15*i - 2*q - 2542 = 0, 5*q + 2545 = -5*i. Is i at least as big as -510?
True
Let y be (-32686)/1298 - ((-124)/(-44) + -3). Is -322/13 greater than or equal to y?
True
Let y(b) = -b + 63. Let t be y(103). Does -1.9 = t?
False
Suppose -5*g + 4*u - 3*u = -8, 3*g = -5*u + 16. Let w be 0*((-3)/g + 2). Let k = 5857/22 + -87767/330. Does k = w?
False
Suppose 370 = 5*h - 5*j, 0 = 4*h - 3*j - 96 - 200. Let u be (3 + h/(-22))/((-10)/55). Are 5 and u unequal?
True
Let l = -59 + 79. Let c(f) = -f**3 + 4*f**2 + 7*f - 6. Let d be c(5). Suppose -3*i - 2 = 7, -d*i = -r + 32. Is r equal to l?
True
Let g be (5 - 2) + (3 - 2) + 2. Let b(m) = 3*m - 28. Let j be b(g). Which is smaller: j or -19?
-19
Let o = 15635 - 15688. Is 47 > o?
True
Let z = -71 + 61. Let l be z + 312/30 + (-472)/1230. Is l smaller than -1?
False
Let a be (-3)/10 - (7 - (-35)/50 - 8). Which is smaller: 2/2501 or a?
a
Let v(n) = 9*n**2 + 67*n + 253. Let u be v(36). Which is bigger: u or 14330?
14330
Suppose 183*j - 38158 = -149971. Is j < 1?
True
Let v = 222 + -211. Suppose -20 = -v*r + r. Are -10 and r nonequal?
True
Suppose -7*l + k - 3177 = 0, 2*l = 4*k - 36 - 868. Which is greater: l or -466?
l
Let l(x) = -27*x + 2 + 33*x - 8*x. Let q be l(1). Suppose 5*s - 10 = 0, q = -5*h + 5*s + 1 - 16. Which is smaller: h or 6/19?
h
Let t = 1242.9 - 1168. Let o = t + -14.9. Let d = o - 45. Which is smaller: d or -0.3?
-0.3
Suppose 4*n - w = -0*w + 147, 0 = -n + w + 33. Suppose n*x = 35*x - 6. Let b be x - 6*4/(-6). Which is bigger: b or 12/11?
b
Suppose 299*d + 13710 = -20077. Is d at most -1472/13?
False
Let j(f) = 3*f**2 + 7*f + 6. Let q be j(-4). Let a = 8498/13 - 40891/65. Is a < q?
True
Suppose 0 = 9*h - 6*h + 2*j, -4*j + 8 = 2*h. Let y be -1*(0 - h) - (-34 + 11). Is 23 > y?
True
Let q(k) = 4*k + 24. Let p be q(-6). Let m be (-36)/47*21/63. Which is greater: p or m?
p
Let k be (-133)/(-9) + (-20)/(-90). Let h be -3*(-69)/(-63) - 4/(-14). Let r be (1/(4/30))/(h/(-6)). Is r less than k?
False
Let o = -3004 + 2470. Which is smaller: -2 or o?
o
Let l = 54365947445/13 - 4179193405. Let o = l + -2803988. Let p = o - -1435. Is -1 equal to p?
False
Let p(c) = c**2 + 23*c - 89. Let d be -6 - -6 - 21 - 5. Let y be p(d). Which is smaller: -16 or y?
-16
Let o = -91.38 + 88. Let u = o + 3.18. Do u and -5/14 have the same value?
False
Let a = -141 + 2960/21. Let i = 477.9 - 472.9. Is a at least i?
False
Let u = -7/40 + 293/760. Let f be (2/(-6))/(8/12). Is f >= u?
False
Let p = -4 - -12. Let t = p + 4. Suppose 4*y = 4*x + t, -x = 4*y + y + 9. Which is bigger: -3/26 or y?
-3/26
Let k be (-69)/(-10) - (-6)/(-15). Let t(w) = -2*w**2 + 3*w + 34. Let q be t(-3). Which is smaller: q or k?
k
Let w be (-3)/(4 + -1)*(402 + 7). Let o = -427 - w. Which is bigger: -30 or o?
o
Let t = -2541.3 - -2036.3. Which is smaller: 1/3 or t?
t
Suppose -25*c = 13*c + q + 12203, -4*c - 2*q = 1294. Is c greater than or equal to -324?
True
Let r(b) = -5*b - 109. Let n be r(-23). Suppose 0 = -n*k + 12*k - 72. Do -3 and k have different values?
True
Let i = -32 - -32.023. Let p = 55.023 + -53. Let a = i - p. Is -1 >= a?
True
Let d = 141 + -78. Suppose -24*f = d - 303. Is 12 greater than or equal to f?
True
Suppose -5*u + 5 = -5*n - 15, u + 2*n - 4 = 0. Suppose u*m - 5 = -1. Suppose 2*d + 8 = 2*i, -m = -i - 4*d - 7. Which is bigger: i or 4/7?
i
Let c = -1 + 0.9. Let u = -230 - -227.14. Let r = -30.14 + u. Which is smaller: r or c?
r
Let n = -94.6 - -110.06. Let d = 15.7 - n. Are 11 and d equal?
False
Suppose 16 = -4*q + 4*y, 25 = 2*q + y + 21. Suppose 25*d - 23*d - 48 = q. Which is greater: d or 27?
27
Let f be (3 - 5)*-13913 + 2652/(-221). Is 27815 >= f?
True
Let t = -60 + 20. Let n be ((-26)/(-9))/(t/100). Let j = 1327/180 + n. Which is smaller: 1 or j?
j
Suppose 23*w - 3 = 24*w - 6. Which is smaller: w or 115/52?
115/52
Suppose -5*v + 17955 = 5*j, -24*v = -3*j - 23*v + 10753. Is j at most 3586?
True
Suppose 16 = 4*t, -5*s - t + 37 = -2. Let f be s + -12 - 51/3. Does -22 = f?
True
Let i = -955 + 1128. Suppose -v - i = -82. Is -91 less than or equal to v?
True
Suppose -3*y = k - 954 - 102, 5*y = k - 1072. Let c = k - 1029. Is c less than 158/5?
False
Suppose 0 = 4*c - 185 + 865. Let w be (11 + -1)*(-6 + (-996)/c). Let u be 12/10 + 8/(-200)*5. Which is bigger: w or u?
u
Let z be 8/(-66)*(-390)/(-20). Let i(c) = -c**2 - 10*c - 18. Let p = 10 + -18. Let l be i(p). Which is smaller: l or z?
z
Suppose 264 = -6*u + 17*u. Suppose z - u = -40. Is z at most -19?
False
Let u = -118.49 + 2.49. Let j = u + 115.93. Let w = 2 - 0. Is w greater than or equal to j?
True
Let c = -125 - -129. Suppose -5*g = -8*a + c*a + 1, 0 = -a + 5*g - 11. Is a < 31/9?
False
Let c(o) = -o + 23. Let m = 140 + -127. Let v be c(m). Which is smaller: v or -4?
-4
Suppose 4*v = 3*b + 732, 20*v - 24*v - 24 = 0. Do b and 1 have different values?
True
Let l(i) = 4*i**2 - 18*i - 11. Let p be l(7). Suppose 5*s + p - 89 = 0. Suppose 0 = j + 5*r - 11, -2*j + s + 0 = 2*r. Which is smaller: 1/8 or j?
1/8
Let z(t) = -t**2 + t - 4. Let r be z(6). Let b(m) = -2*m**2 - 68*m + 31. Let s be b(-35). Let y = r - s. Which is smaller: y or 1?
1
Let p = -291 + 295. Let z be 4/18*6 - p/3. Which is greater: z or -2/79?
z
Let c be 0/(-15*7/(-35) - 4). Is c at least as big as -1/560?
True
Let r(n) = n**3 - n. Let h(t) = -55*t**3 + 3*t**2 - 5*t. Let x(p) = -h(p) + 3*r(p). Let m be x(1). Is 59 at most m?
False
Let r = 8446 + -8566. Is r <= -44?
True
Let t(m) = -4*m - 11. Let a(b) = -b - 4. Let j(o) = -7*a(o) + 2*t(o). Let k be j(7). Let c be (-30)/(-5) + -1 - (k - -1). Which is smaller: c or 4?
4
Suppose 0 = -3*f - 5*d - 243 + 291, 3*d = -3*f + 36. Which is bigger: -3/218 or f?
f
Suppose 0 = -30*d + 201 + 99. Suppose -d*o = -56*o + 276. Let b = 637/110 - -9/22. Is o > b?
False
Let b(q) = 22*q**2 - 8*q + 8. Let c be b(1). Suppose 26*h = c*h + 36. Which is bigger: -5 or h?
h
Let x(m) = m**2 - 35*m - 446. Let n be x(46). Which is greater: 294/5 or n?
n
Let w(z) = -z + 8. Let x be w(7). Let p be ((-4)/(-75))/((-150)/(-9)). Let j = 581/13750 + p. Which is smaller: x or