than or equal to a?
True
Let n be ((-9)/5 + 1)*(44 - 49). Suppose -n*y + 11*d = 8*d - 10, -1 = 3*y + 2*d. Is y greater than or equal to -2/131?
True
Let x(r) = -7*r + 32. Let i be x(4). Let u be (453 + 5)/(1 - 3/i). Let m = -481814/263 + u. Is m not equal to 0?
True
Suppose 0 = -c + 4*c - 378. Let f be (-2)/(11/2 + -6). Suppose -2*i - c = f*i. Is i smaller than -21?
False
Let g be -5 + (-153)/17 + 1238. Is g at most as big as 1223?
False
Let x = 139/2 - 71. Let o = -5/4 - x. Which is smaller: o or 170?
o
Let h be ((-52076)/(-470))/((-8)/(-5)). Is 70 at most h?
False
Suppose p - 3 = 5*f + 26, -p - 4*f - 25 = 0. Is p at least as big as 1/1445?
False
Let o = -0.015 - 0. Suppose -i - 10 = -5*p, -2*i - 1475*p - 8 = -1479*p. Do i and o have different values?
True
Let l be (2/5)/(15/225) - 220/(-128). Is l <= 0.1?
False
Let w = -33 - -36. Let f = w + -18. Let a = f + 15.1. Which is bigger: a or 16?
16
Suppose -1 = -3*z + 98. Let j be 1/((-1)/(-2)*22/z). Suppose j*o + 20 = -10. Is o at least -7?
False
Let o be 2/12*(-18)/12. Let b = 1.6 - 72.6. Let a = b - -71. Is o < a?
True
Suppose 2*b = -4*a + 78, 75 = -6*a + 10*a - b. Suppose 8*k - a = -11*k. Which is greater: 3/31 or k?
k
Suppose -95*p - 52034 = 92054 + 13802. Which is smaller: p or -1661?
p
Suppose -20 = 4*c + 2*t, 0*c + 2*t + 17 = -3*c. Let j = c + 6. Let d(k) = -k**2 - 38*k - 321. Let x be d(-13). Is x less than j?
False
Suppose -74 = -2*r - 0. Let w = r + -44. Let x(o) = -4*o + 14. Let h be x(w). Are 43 and h equal?
False
Let l(o) = -120*o + 174. Let s be l(0). Does s = 171?
False
Suppose -46*c - 4103 = 327*c. Suppose 4 - 51 = 5*z - w, 2*z + 26 = -2*w. Is c < z?
True
Suppose 5*u + 5*t = -225, 21*u = 22*u - 4*t + 15. Which is greater: -45 or u?
u
Suppose 0 = -a - 1, -4*a - 15 = p - 16. Suppose -4*b + 96 = -p*l, 4*l = -l + 20. Which is smaller: b or 28?
28
Let m = 63 - -321. Let c be 7/21*(m/164 - 3). Which is smaller: c or -1?
-1
Let x(n) = -n - 7. Let y be x(-7). Let t = 20965/36 + -2333/4. Which is smaller: t or y?
t
Let x(j) = j**2 + 57*j + 157. Let a be x(-3). Which is smaller: 99 or a?
a
Let q be (-1 - -14)*2*(-2)/4. Suppose 3 = 6*t - 3*t. Let g be q/(-156)*(-34 - t) - -3. Is -1 smaller than g?
True
Let t = 257 + -252. Suppose 0 = -a + t*v - 25, -4*a + 5*v = 16 + 9. Is 185 at least as big as a?
True
Let i = -309819 - -87678891/283. Which is bigger: 1 or i?
1
Let x = 12292.07338 + -12292. Does x = 0.2?
False
Suppose -s + 43 = -2*z, 2*z + 25 = -s - 4*s. Suppose -8*k + 5614 = 5646. Are k and z equal?
False
Suppose -5*a = 2*c - 37, -7*a = 4*c - 2*a - 49. Suppose 3*p + c*p = -3*p. Is p bigger than -1/11?
True
Let k = 436 - 245. Let t = k + -172. Is -0.3 at most as big as t?
True
Let k(c) = -5*c + 93. Let r be k(17). Let l(i) = 3*i**2 - 15*i - 22. Let y be l(r). Is y less than 50?
False
Let l(m) = m**3 - 6*m**2 - 4*m - 1. Let s be l(3). Suppose -161 - 749 = 27*u + 251. Are u and s nonequal?
True
Suppose -w + 6 = -3*v - 9, -v = -3*w + 5. Let o = 173788/15 - 3891991/330. Let g = -208 - o. Is g >= w?
True
Let w = 911 + -4542/5. Let p(n) = -n. Let m be p(2). Let r be (3 + m)/1 + 2. Which is bigger: r or w?
r
Suppose -m + 2*n + 58 = 2*m, -5*n = m - 42. Suppose m = -2*x - 8. Let g be 1/(x/(-42))*5. Which is bigger: g or 13?
g
Suppose 5*m + 6*r = r - 10, -7 = 3*m + 4*r. Let h = 35.5 + -2.5. Let s = h - 32.17. Is s smaller than m?
False
Suppose 555 - 555 = 136*o. Let s be ((-2)/79)/(2 - 3). Is o less than s?
True
Let q(g) = -g**3 - 2*g**2 - 17*g - 33. Let m be q(11). Which is smaller: m or -1794?
-1794
Suppose u = 14*o - 16*o - 70, -3*u = -5*o + 155. Do u and -62 have different values?
True
Let r = 78147.006 + -78227. Let w = -80 - r. Let z = w - 11.994. Which is bigger: -2/23 or z?
-2/23
Suppose -5*w + 4*c = 705, 3*w - 20 = -2*c - 465. Let s = 152 + w. Let i = 9 - 3. Which is smaller: i or s?
i
Let n be 341/186 - 4/(-6). Suppose -l + 1 + 6 = 0. Suppose g + 3*d + 8 = 3, g - d = l. Is n at least g?
False
Let h = -119 - -110. Let z(y) = -29*y - 29. Let s be z(0). Is h smaller than s?
False
Let m be 2 - ((-1069)/(-710) + -1). Let n = -2/355 - m. Which is smaller: -1 or n?
n
Let q(l) = 2*l**2 - 11*l + 31. Let r be q(8). Suppose -3*t + 521 = r. Is 152 equal to t?
False
Suppose 0 = -15*h - h - 384. Let v be 3 + h/10 + (-37)/(-5). Is 23 equal to v?
False
Let t be ((-2)/(-6))/((-13)/273). Let k be (t - (7 - 16))*100/(-116). Is -1 less than k?
False
Let n = 41 - 72.2. Let i = 0.49 + -32.49. Let y = i - n. Is y at most as big as -0.1?
True
Let a = -46.86 + 154.81. Let r = a - 103. Let m = r - 5. Is 2 at least as big as m?
True
Suppose -2*g + 1 = -w - 4*g, -4*g = w + 3. Let k(o) = -7*o + 51. Let d be k(8). Let c be (w - 3)*(d + 4). Is c less than 7?
True
Let g = -11939062/1135 + 10519. Which is smaller: 0 or g?
0
Let d = 169 + -267. Let z = d + 98. Which is smaller: z or 0.028?
z
Suppose -26*r = -1013 - 443. Let h be 6/r - 5*3/60. Is h not equal to 5?
True
Let r be (-1)/(-4) - (32/(-24) + (-41030)/264). Which is bigger: r or 161?
161
Let t = -2/180107 - 25034485/34940758. Is t less than -1?
False
Let s = 982 + -1008. Which is smaller: 2/11 or s?
s
Let y = 29792 + -22460. Which is bigger: 1 or y?
y
Let y be (-116)/603 + 12/54. Suppose 904*p = 849*p - 55. Which is smaller: y or p?
p
Let i = 3891 - 3777. Is 95 at most as big as i?
True
Suppose -5*h + 193 = 4*u, 3*u - 108 = -4*h + 47. Let l be (-10)/4*28/(-10) + 464/(-58). Which is smaller: l or h?
l
Suppose 3557 = -15*h - 1573. Which is greater: h or -2388/7?
-2388/7
Let y(z) = z**2 + 80*z - 335. Let v be y(-84). Is -470/7 less than v?
True
Let i be (19/57)/(1/9). Suppose 7*f - 4*f + 187 = 2*d, -i*f + 3*d - 189 = 0. Which is bigger: f or -243/4?
-243/4
Let q be (-24601)/2715 - (-8)/12. Let l = -1/181 + q. Let n be (-2)/11 - (-291)/(-33). Which is smaller: n or l?
n
Let i = 354658/57 - 6222. Do i and 0 have the same value?
False
Let y(b) = b**2 - 32*b - 1281. Let r be y(46). Is r at least as big as -637?
True
Suppose -17*v + 6 + 22 = -z, 5*z + 51 = -4*v. Let g = 213 - 110. Is g greater than or equal to v?
True
Let l = -313 + 312.793. Let p = 0.007 + l. Which is bigger: p or 12?
12
Suppose -3*r - 4 = -3*q - 22, -3*r + q = -10. Suppose 0 = -3*v + 5*v + 8. Let x be 3/v*42/(-28). Is r not equal to x?
True
Let w(j) = 6*j**2 - 48*j + 11. Let a be w(8). Suppose -2*x = 2*t - 18, 2*x - a = t + 7. Which is smaller: x or 0?
0
Let k = 12079/3 - 88870/21. Is -1/4 equal to k?
False
Suppose -55*x + 60*x + 360 = 0. Let r = 174 - x. Suppose 5*l + 2*a + 2*a = 234, -5*l = a - r. Is 50 smaller than l?
False
Suppose 517*q + 140946 = 27723. Is -17 >= q?
True
Let w(h) = 8*h - 86. Let t be w(11). Suppose j + 4*v - 1524 = -3*j, 757 = t*j + v. Which is smaller: j or 375?
375
Let m = 11669 - 11849. Are -180 and m unequal?
False
Let r(d) be the third derivative of 13*d**5/60 - 19*d**4/12 - 25*d**3/3 - 51*d**2 - d. Let f be r(-6). Is f at least as big as 646?
True
Let u be ((-2)/16)/(880/128 + -7). Which is smaller: 1/2165 or u?
1/2165
Let z = 21.24 - 10.184. Let d = -0.044 - z. Let n = -9.1 - d. Does n = -0.08?
False
Suppose w + 53 = 277. Suppose 0 = 275*x - 279*x + w. Which is smaller: 55 or x?
55
Let g = 3.8 + 4.05. Let p = 8 - g. Let r = -4.1 + 3.1. Which is smaller: p or r?
r
Let k be 3/(-9)*-7*12 + 5. Suppose y + 49 = -2*n - 4*y, y = -4*n - 125. Let z = n + k. Is -2 != z?
True
Suppose 1485*x = 3*m + 1482*x + 2787, 4*m = -x - 3711. Is m less than or equal to -1855/2?
True
Let h be (368/10)/(290/42775). Are h and 5427 unequal?
True
Suppose 105 - 177 = 18*n. Let v = -4367/15 + 291. Are n and v equal?
False
Suppose -5*w - 295*m + 292*m + 20545 = 0, -4*w - 5*m + 16449 = 0. Is 4102 <= w?
True
Let q be 925 - (1 + -10)/((-30)/20). Let p = 920 - q. Let w be 0/1 + (-10)/(-9). Which is bigger: w or p?
w
Let q = -367.85 - -7.85. Let g = q + 379.4. Is g less than 0?
False
Suppose -13*d + 18*d = -2*x - 10, -3*d = -3*x + 6. Which is bigger: d or 5?
5
Let r be -1*(3/(-7))/((-11964)/(-21)). Do -1 and r have the same value?
False
Suppose -216*o + 10*o + 2472 = 0. Which is smaller: o or 8?
8
Let k = 0.01917 - -0.40083. Which is greater: 8 or k?
8
Suppose 7*y = 2*y - 35. Let b be ((-2)/(-24))/(y/3). Let z = -127660 + 127661. Which is greater: b or z?
z
Let p be -1 + 1 + (-2)/(-5). Let g = 10.3 + 255.7. L