99
Let f = 24.22 + -24.24. Which is bigger: f or -2.5?
f
Let q(p) = p**2 - 7*p + 16. Let d be q(3). Suppose -12 = -d*h - 36. Which is smaller: -10 or h?
-10
Let f be 2 + -2 - (-1854)/(-4710) - 6/(-15). Let h = -8 + 9. Is h >= f?
True
Let a = -873 - -171. Is a bigger than -702?
False
Let z = 0.96465 - 23.96465. Let f = -5.3 + 9. Let i = f + -4. Which is greater: i or z?
i
Let c = -173.721 + -0.279. Let i = 175 + c. Which is smaller: 47 or i?
i
Let z = -16.59 - -34.89. Is z < 1/8?
False
Let x be (-4 - 41304/(-11277)) + 18/54. Which is smaller: x or 0.1?
x
Let n be -28 - 864/(-81) - -8. Let c(g) = g**3 + 10*g**2 + 11*g + 8. Let h be c(-9). Which is smaller: n or h?
h
Suppose d + 437 + 596 = 3*k, 3*d + 3063 = -3*k. Which is greater: -1025 or d?
d
Let t = 25.3 + -23.43. Let w = -1.83 - t. Is -1/2 >= w?
True
Suppose z = -3*t - 60, -189 = 3*z - 3*t + 27. Let k be (z/(-18) - 3)/((-105)/(-10)). Is k at least -1?
True
Let p be (12 - -663)*44/10. Suppose 0 = -65*o + 60*o + p. Which is smaller: 595 or o?
o
Let t = -31.8656 - -0.8656. Is 0.015 at least t?
True
Let t = 2672 + -2673. Which is smaller: t or 107?
t
Let c = 196 - 194. Suppose -c*y - 3 = -0*y - 3*d, -2*d + 4 = -y. Which is greater: 29/6 or y?
y
Let n(h) = h**2 - 15*h + 15. Let d(b) = 18*b**2 - 28*b + 2. Let v be d(3). Suppose -5*u + 45 = 5*r, -5*u + 0*r = -2*r - v. Let s be n(u). Is s smaller than 6?
True
Let q = 0.05886 - 1.21186. Which is smaller: q or 0?
q
Let i = 2 - 26. Let t be (44/33)/((i/225)/(-4)). Which is smaller: t or 52?
t
Suppose -14187 = 82*j - 4429. Do -120 and j have the same value?
False
Let t = 29886 + -29905. Let v = 1.9 + -2. Let f = v - 0.1. Which is smaller: f or t?
t
Suppose r = -3*r - 68. Let g = -81941/5 + 16372. Which is smaller: g or r?
r
Let k(a) = -a**2 + 2*a + 48. Let t be (0 + -2)/(17/(-68)). Let w be k(t). Is -6/5 at most w?
True
Suppose 0 = 4*h + 493*v - 494*v - 17, -3*v + 21 = 0. Is 15.9 < h?
False
Suppose 61*v + 88*v = 16*v + 12901. Which is bigger: v or 478/5?
v
Let i = -3 + 1. Let m = -10 + 10. Let x(l) = -l**2 - 15. Let j be x(m). Which is greater: i or j?
i
Let f be 2*5/(-250) + 189/350. Let q = -3281/11 + 298. Do q and f have the same value?
False
Let x be (-42)/(-70)*(0 - -10). Let w be x/(-72)*8/(-14). Let t = -104 + 104. Which is bigger: w or t?
w
Let b = 833 + 257. Is b equal to 1091?
False
Suppose -29 = -3*g - 4*d, -3*d + 38 - 11 = 4*g. Suppose 0 = -g*q - 0 - 6. Let x = -43 - -40. Which is greater: q or x?
q
Let r be 3278007/(-1242) - 1/(-12)*2. Let u = r - -2640. Which is bigger: 2 or u?
2
Suppose -390 = h + 2*h. Let o = 78 + h. Let l = -34 - o. Is l equal to 19?
False
Suppose 30*m - 1004 - 1537 = 639. Let u be (-3)/(-2)*848/12. Is u less than m?
False
Let q = 53 + -76. Let u(y) = -y + 19 - 3*y + 23 + 8. Let l be u(18). Which is greater: l or q?
l
Let v(l) = 111*l + 4. Let k be v(-1). Let m = k - -112. Which is bigger: m or 16?
16
Let c = 114/575 - 6986/16675. Is 1 smaller than c?
False
Suppose 0 = 5*q - 5*p - 75, 2*q = 11*p - 10*p + 25. Let n be 4/q + 0 + (-1)/5. Which is bigger: n or -0.25?
n
Let r = -1906 + 1905. Which is smaller: r or 2/1911?
r
Let t = -4 - -17. Suppose -11 - t = -6*g. Suppose -5*k = -5*z, -3*k = g*z + 2*k - 9. Is 0 >= z?
False
Let z(w) = -w**2 - 29*w - 23. Let s be z(-28). Suppose 2*a - s*a + 9 = h, 5*a = -h + 17. Are h and -19/11 equal?
False
Let l = -0.097 + -1.903. Suppose -5*c = -3*c + 5*t - 868, -4*c + 1784 = -2*t. Let d = c - 17317/39. Is l less than d?
True
Suppose 90*d + 752 = -4*d. Let w be (-92)/(-32) - (0 + 3). Is w bigger than d?
True
Let b be (8/(-16)*0)/(-1). Let k be 34827/(-1755) - (6/10 - b). Is k not equal to -20?
True
Let d be 2 + (-4 - -2) + 6. Let x(p) = -2*p**2 + 14*p - 8. Let q be x(d). Suppose 0 = 2*w - 0*o + 5*o + 46, w + q*o = -29. Which is smaller: w or -11?
w
Suppose 16*h = -56*h - 26640. Which is greater: -1114/3 or h?
h
Let m = 269 + -129. Let k be (-2)/(-9) + (-1)/((-18)/2480) - -1. Which is greater: m or k?
m
Suppose 2*z = 4*g - 3*z - 23, -12 = 4*z. Let b = 0.0149 + 0.2951. Is g at least b?
True
Suppose 3*o - 891 = -3*q, -3*o + 40 + 859 = q. Which is bigger: 293 or o?
o
Let w = -5 + 3. Let o be (-100)/25 + (-503)/(-117). Let v = 18/65 - o. Is v smaller than w?
False
Let z be -69 - -70 - (7884/(-21))/(-4). Which is smaller: z or -92?
z
Let o(h) = -10*h**3 - 11*h**2 - 64*h - 248. Let v be o(-8). Is 4680 greater than v?
False
Let v be -3*2 - (71 + -79). Do 112 and v have the same value?
False
Suppose 0 = 4*z - 5*f + 5311, -23*z + 4*f + 5284 = -27*z. Which is smaller: -1326 or z?
-1326
Let c be 10 - (25 - 1) - 5. Which is bigger: c or -1?
-1
Let p = 11874 - 11873.8. Which is smaller: p or -978?
-978
Suppose -5*b - 15 = 5*u, -2*b + 3*b + 4 = -2*u. Let a = u - -3. Let h be (3 - a) + (-12)/28. Is h > 0?
True
Let f(j) = j**2 + 14*j + 161. Let c be f(-14). Suppose 3*k + 5*q + 175 = 0, -3*k = -6*k + 2*q - c. Is -53 < k?
False
Let h be ((-40)/(-20))/((-12)/(-138)) - 13. Which is smaller: 137/12 or h?
h
Let w = -483 + 11343. Is 10859 less than w?
True
Let p(r) = r**2 - 13*r + 28. Let t be p(10). Let v be (28 - 26)*t/(-4). Is -1/26 less than v?
True
Let z be ((-6)/9)/(110/12). Let x(r) = -r**3 - 3*r. Let d(j) = -2*j**3 + 8*j**2. Let l be d(4). Let t be x(l). Which is bigger: t or z?
t
Let n = 93 - 78. Suppose 3 = j, -2*v - j - n = 2. Let z be 21*(2 + 14/(-6)). Which is greater: v or z?
z
Let f = 6922 + -6601.3. Let x = f - 255. Is x > 0?
True
Suppose 6*d + 34 = 46. Let r be (16/20)/2 + (-51)/15. Is d > r?
True
Suppose -16 = 4*i, h - 2*i + 169 = -2*h. Let u = -34 - h. Suppose -4*r + 5 = 13. Is u <= r?
False
Let g = -33405/32 + 1044. Which is bigger: 0.2 or g?
0.2
Let b(v) = v**3 - 6*v**2 - 9*v - 29. Let u be b(9). Let j be (-529)/(-4) - 6/(-3). Let l = j - u. Which is bigger: l or 0?
l
Let w = 262.2 - 262. Let r = -18 - 2. Let u be 3/r*3/9. Which is greater: u or w?
w
Suppose w - 3*r + 11 = 0, -40 = -5*w + 5*r - 55. Is 2/533 bigger than w?
False
Let w(b) = -15*b + 29. Let z be w(-4). Let k = z - 92. Are k and -15/8 unequal?
True
Let r be 88/(-10) - (-30)/(-25)*-5. Which is smaller: r or 0.19?
r
Let r = 59455/6554 + -840/113. Which is bigger: 3 or r?
3
Suppose -101*w = -96*w - 40. Suppose -52 = w*q + 12. Is q != 11?
True
Let c be 3/(-6) + (-1256)/(-16). Let n be (-1 - 26)/(c/(-52)). Are n and 18 non-equal?
False
Let x = 1/6176 + -876999/43232. Let d(u) = 20*u**3 + 1. Let q be d(-1). Are q and x equal?
False
Let r = -22347/20 - -4463/4. Which is smaller: r or 0.55?
r
Let b = -132 - -135. Let j be ((-14)/(-1344))/(-4*b/18). Which is smaller: -1 or j?
-1
Let i be (-22 - -26)*(-365)/(-15). Are -2 and i non-equal?
True
Let u(q) = 2*q + 36. Let p be u(17). Let i = p + -53. Is 18 less than i?
False
Let u = 8824 - 11382. Which is greater: -2557 or u?
-2557
Let x = -1628.01 - -1628. Which is smaller: x or 85?
x
Let x = -1215 - -432. Let r = x + 753. Is -1/2 equal to r?
False
Let j be (-94*20/30 - 4/(-6))*-1. Which is smaller: j or 9?
9
Let t be (-23660)/71214 - 5/(-15). Is t > 0?
True
Let m = 5656 - 4307. Which is smaller: m or 1344?
1344
Let l(j) = 325*j - 3667. Let h be l(11). Is h greater than or equal to -1026/11?
True
Let g = -2/15 + 4/45. Let d = 1276 - 1274. Which is smaller: g or d?
g
Let t = 169/4 - 451/12. Let x(m) = m**2 + 12*m + 17. Let y be x(-9). Let o be 12/y*(-140)/42. Which is smaller: o or t?
o
Let k = -8224 + 8236. Which is smaller: k or -76?
-76
Let i(g) = 3*g**2 + 8*g - 8. Let l be i(1). Suppose -65 + 44 = -l*j. Let o be (-52)/(-14) - (-2)/j - 54. Which is smaller: -51 or o?
-51
Suppose -175 = -3*w + 4*v, 3*v = -7 - 5. Suppose 10*s - w = 37. Is 11 smaller than s?
False
Suppose -11*v = -2*v - 9. Suppose -4*w - v + 9 = 0. Suppose 6*n + 5*g - 6 = w*n, -g = -2. Which is greater: 2/11 or n?
2/11
Let p be 12386/(-2431) - 4/68. Is -4 != p?
True
Let d = -2 + 2.5. Suppose -5*j - 60 = 0, -2*b + j + 70 = -62. Is b bigger than d?
True
Let g(v) = -v**2 - 1. Let o(i) = -2*i**2 - 11*i + 28. Let r(f) = -3*g(f) + o(f). Let t be r(13). Which is greater: t or 56?
t
Let m = 2155 + -1177. Which is smaller: m or 975?
975
Let r be ((-108)/10)/((-2)/20). Let s be ((-195)/r)/((-2)/6). Let d = s + -23/4. Do -1 and d have the same value?
False
Let b = -202 - -199. Let g(d) = d**3 - 4*d**2. Let i = -11 - -15. Let n be g(i