Let j be 1/(-4) + (-3)/4. Let y be j/3*2*27. Let b be y/(-81) + 58*(-5)/9. Which is bigger: -30 or b?
-30
Let f = 111.24 - 108. Let r = -798 - -798.24. Let h = r - f. Is h <= -3/2?
True
Suppose 27*t = 30*t + 384. Let u = t - -128. Let j be (1 + -3)/((-10)/3). Is u smaller than j?
True
Let p(l) = 3*l + 28. Let v be p(-7). Suppose 5*f - v = -17. Let n be -1 + f - 7/(1995/(-852)). Which is greater: 1 or n?
1
Let l = 35 + -33. Suppose -l*w - 3 = 9. Let t be (-105)/(-69) - w/(-4). Is 1 != t?
True
Let t = 462 + -463. Let k be (-464)/5046*t/(4/(-6)). Is k smaller than 1?
True
Let h be -6*(2 + (-21)/9). Suppose 18 = 3*r - 0. Suppose 52 + 32 = r*f. Which is smaller: h or f?
h
Let m be 195*(624/65 + -10). Is -467/6 at most as big as m?
False
Let k = -0.279 - 30.721. Let h = 10 + -6. Let s = -5 + h. Which is smaller: k or s?
k
Let m = 6.57 + -6.5754. Let p = m - -0.0054. Is -317 at least p?
False
Suppose 1 = -3*x - 20. Let v(r) = -25 + 20*r - 4*r - 7*r - 7*r + 19. Let b be v(x). Is b not equal to -20?
False
Suppose 68*g + 54*g + 113*g - 1113900 = 0. Which is smaller: 4738 or g?
4738
Suppose -551*i = -420*i + 4978. Is i equal to 46?
False
Let g = 557934/77 + -7246. Suppose 1512 = 17*r + 1529. Do g and r have different values?
True
Let z be 4/(-6) - -1929*35/(-44982). Let q be (-239)/(-1071) + (-18)/81. Let f = q + z. Which is smaller: f or -2?
f
Let j be (-144)/46*5900/944. Is -21 != j?
True
Let a(k) = 5*k**3 - 4*k**2 + 2*k - 3. Let b be a(2). Suppose 5*p + 3*t + 91 = -109, 0 = -5*t. Let j = 66 + p. Is b equal to j?
False
Suppose 8*p + 3*z - 732 = 0, 26*z = 28*z + 8. Which is greater: 111 or p?
111
Let h be (-4)/(-8)*0 - (-1272)/96. Is h not equal to 13?
True
Let g be (7 + (-88)/16)*(-14)/(-3). Let m be (-27 - -22) + 36*g. Which is bigger: 248 or m?
248
Let r = -604 + 602. Let k be (r/(-6) - (-44)/66) + -1. Is 244 at most k?
False
Let y = -23170 + -6971. Is y != -2/7?
True
Let r(x) = 13*x**3 + x**2 + 2*x + 2. Let g be r(-1). Let t be (-31)/84 + (-1)/g. Is 1.1 greater than or equal to t?
True
Let v be (-2)/7 - 243/7. Suppose -7 = 22*b + 741. Let n = b - v. Which is smaller: -3 or n?
-3
Let g(x) = x**2 - 50*x - 1874. Let k be g(75). Is 68/237 < k?
True
Let m be 3/((-3)/(-168)*6). Let v(b) = -3*b - 4*b + 0*b + 4*b**2 - 2. Let d be v(-2). Does m = d?
True
Let b = -0.13264 + 60.20464. Let k = 60 - b. Let l = k + 0.232. Which is smaller: l or -2?
-2
Let v = -369.1 - -368.95. Is v less than 110?
True
Let s be 3 + (-6)/(-2) + 85350/2025. Is s not equal to 49?
True
Let j(t) = -t**2 - 4*t + 3. Let b(y) = -3*y + 3. Let u = 59 + -56. Let n be b(u). Let i be j(n). Is i at most -10?
False
Suppose -6*z + 52 = -2*z. Let h be ((-3)/z)/((-1)/(-8)). Let v = 37/7 - 81/14. Which is smaller: v or h?
h
Let j(w) = -4*w**3 - 3*w**2 + 7*w + 7. Let s(l) = l**3 + 1. Let g(q) = -j(q) - 3*s(q). Let a be g(-4). Suppose -4*n = a*n - 6. Are 12/5 and n non-equal?
True
Suppose -97*d - 10*d = 49*d + 32*d. Is 6/6211 <= d?
False
Suppose -2*c - 373 = -5*y, 10*y = -2*c + 7*y - 413. Let z = c - 352. Which is smaller: -552 or z?
-552
Suppose -23*d = -3*d. Is -5/336 > d?
False
Let m = -0.1 - 1. Let b be (12/24)/(3*4/(-72)). Are m and b non-equal?
True
Suppose 22*w + 37 = -76*w - 61. Which is greater: -23/13 or w?
w
Let r be (-130)/(-20)*34640/520. Which is bigger: r or 451?
451
Suppose 12 = -4*i, a = -4*a - 3*i + 31. Let x(m) = -m**2 - 21*m - 58. Let q be x(-17). Is q at most as big as a?
False
Let o = 3098 + -5251109/1695. Which is greater: o or -1?
o
Let v = -0.1 + 0. Let b be (-6418)/(-1330) - 5 - 4/(-28). Let z = -121/2185 + b. Which is smaller: z or v?
v
Suppose 4*b = 2*s + 72, -4*s = -3*s + 5*b + 22. Let u = -76 - -137. Let q = u + s. Which is smaller: 30 or q?
q
Let k be (111 + -15)/(-12) - 87/(-1). Which is smaller: k or 65?
65
Let a = -39.636 + -1.694. Let u = a - -41. Let f = -2.67 + u. Is 3 >= f?
True
Let m be 1 - 32/8 - (-2 + 100/28). Which is bigger: m or 13?
13
Let i be ((-35)/84)/((-29200)/64). Is 1 < i?
False
Let w = -73.114 + -0.686. Let n = w + 74. Let v = -225 + 225.066. Which is smaller: n or v?
v
Let t be 11/((-149523)/1044) + (1 - 1). Let n = 2/197 - t. Suppose 10*g = 3*g + 7. Are n and g non-equal?
True
Let a be -50*(1/(-5))/(6889/(-332)). Which is greater: 0 or a?
0
Suppose 4*f = -12, 25*d - 24*d - 55 = 5*f. Which is smaller: 239/6 or d?
239/6
Suppose 3*s + 636 = 3*m, -4*m - 7*s + 8*s + 848 = 0. Let u = -164 + m. Which is smaller: u or 46?
46
Let m = -3 - 68. Let k = 46.6 + 4.4. Let n = m + k. Is n greater than 2/3?
False
Let x be 4/(-32) - (-5)/(-80)*-2. Which is smaller: -2/8125 or x?
-2/8125
Let n be 1430/20 + 1/(1/2). Which is smaller: 75 or n?
n
Let r = 124 - 121. Suppose 4*d = 3*u - 0*u + 49, r*d - 2*u - 36 = 0. Suppose -11 = -o - 2. Which is smaller: o or d?
o
Let n = -27916 + 362920/13. Is -79 less than or equal to n?
True
Let t = -343/2 - -179. Suppose 413 = 12*a - 13*a + 60*a. Is t less than a?
False
Let v(k) = -k**2 + 5*k + 2. Let l be v(6). Suppose -5*i + 4 - 2 = 7. Which is smaller: l or i?
l
Let o = -15937 + 15944.06. Does 2 = o?
False
Suppose q + 2*m + 3*m = -24, -12 = 4*m. Let n be ((-6)/q)/(-1)*(7 + -132). Which is bigger: n or 82?
n
Let l(y) = -y**2 - 11*y - 10. Let q be l(-7). Suppose -q*s - 132 = -15*s. Which is smaller: s or -47?
-47
Suppose 0 = -2*c + g - 46, -3*c - 66*g = -62*g + 36. Which is smaller: c or -522/25?
-522/25
Let u = -3753 - -5111. Which is bigger: u or 1360?
1360
Let g = -18244935 + 1514369277/83. Let l = -478 + g. Is l != 0?
True
Let m = 13260379 + -570168559/43. Let d = 645 - m. Let h = -411/344 - d. Which is smaller: 0 or h?
h
Suppose 5*q - 1952 + 93 = -d, d = 4. Let l = 374 - q. Which is bigger: l or 17/7?
l
Suppose 16*c - 84 - 796 = 0. Let v = 34 - -20. Is v < c?
True
Suppose -10*x + 240 = -0*x. Suppose -74 = 26*b - x*b. Let c = 39 + b. Is c less than 22/9?
True
Suppose -20 = -203*l + 183*l. Which is smaller: l or 39/88?
39/88
Let m be ((-10)/30)/((-1)/(-33)). Let h be 2/m + -1002*6/(-396). Which is greater: h or -1?
h
Let u = -3235/72452 - -9/236. Which is bigger: -1 or u?
u
Suppose -2*j + 6 = 0, -41 = -3*u + 5*j + 106. Let s = 88686 + -88633. Is s at least as big as u?
False
Let q = 631 - 630.9858. Let m = 12.0142 - q. Let r = 0.25 - -0.05. Is r bigger than m?
False
Suppose 633 = 2*k + 3*r, 9*r + 952 = 3*k + 14*r. Suppose -50*a = -53*a + k. Is 0 >= a?
False
Suppose -11*w = -1544 - 1536. Is 284 less than or equal to w?
False
Let w(f) = -46*f + 1. Let a be w(1). Suppose -1 = g, 124 = -0*o + 5*o + g. Let v = o + -70. Is a not equal to v?
False
Let v be (-2 - 2) + (2 - -6). Let t be (v + -2)/(0 + 2). Let k be (-14)/21 - (-1 + t). Which is bigger: 2 or k?
2
Let f = -3918 - -7837/2. Is f not equal to 682?
True
Suppose -20 + 10 = -5*u. Suppose -10 = 5*j, k + u = -5*j - 20. Do k and -14 have different values?
True
Let j = 191 - 195. Let p be (42/(-63))/(j/(-18)). Suppose 2*b + q - 4 = 0, 5*b + 8 = 2*b + 2*q. Which is greater: p or b?
b
Let b be (504/(-35) + 12)/((-2)/(-5)). Let m be b*(6 - 1912/48). Is 203 <= m?
True
Suppose 662 = -z + 5*v, -33*v - 1296 = 2*z - 29*v. Is -647 != z?
True
Let x be (-4)/((-8)/3)*(-8 - 32/(-3)). Which is greater: x or 138/49?
x
Let d = 3873 - 3875. Let j(k) = k**3 + 4*k**2 + 3*k - 4. Let s be j(-4). Let o be (12 - d)/(2 + s/4). Which is bigger: o or 4?
4
Let x be (-1264)/60*(-255)/34. Which is bigger: 159 or x?
159
Let l be 12/(-16) + (-1279)/(-4). Let b be l/7 - (20 + -22). Is b not equal to 48?
True
Let f = 7973.6 + -7020. Let m = 873 - f. Let k = m + 80. Is k bigger than 7/5?
False
Let f be (-290)/8*(-150)/(-375)*4/(-2). Suppose 3*v + 3*j + 1 = v, 0 = 5*v - 4*j - 32. Let t be (31/2)/(v/8). Which is bigger: f or t?
t
Let w = 138 - 134. Suppose -w*r - 56 = -2*n - 0*r, 4*r = -5*n + 154. Suppose 0 = 3*v - v - 58. Which is greater: n or v?
n
Let y = 3991 + -4240. Which is greater: y or -246?
-246
Let n = -1768 - -1760. Which is bigger: n or -34?
n
Let l be 8/2436*7 - (2 + -2). Let c = 6 - 10. Let u = 3 + c. Is u greater than or equal to l?
False
Suppose 5*x + 436 = 2*x + m, 2*m + 304 = -2*x. Let q = 159877/5 - 31829. Let z = x + q. Which is greater: z or -1?
z
Let s = -363 - -364. Let h = 10 + -6. Suppose -k + 4*l - 3 = -h*k, 0 = k - l - s. Which is bigger: k or 0?
k
Let y(n) = -n**3 + 2*n - 5. Let i = 7 -